CST329 - Module 3

What did I learn in the third week of CST329?

This module covered chapters 6 and 7, which moved from direct proofs into proof strategies. Basically, chapter 6 introduced conditional derivation, a rule that lets us prove conditional by assuming the antecedent within a subproof, deriving the consequent and then finishing the subproof with the conclusion (the conditional derivation ->I, i-j). Furthermore, chapter 7 introduced disjunction through "or", truth tables for disjunctive sentences, and two new rules that are done through modus tollendo ponens, which lets us conclude one disjunct of an "or" statement. 

Across both chapters, I worked through practice problems and homework using Proof Checker to construct proofs involving nested subproofs, prove theorems with zero premises, translate English sentences involving disjunction into logical notation, and apply MTP and addition alongside the earlier direct-proof rules to validate more complex arguments.