CST329 - Module 2
What did I learn in the second week of CST329? This module covered chapters 4 and 5, moving from truth tables into proof-writing. Chapter 4 introduced direct proofs and three inference rules, which were modus ponens (->E), modus tollens (MT), and double negation (DNE) that emphasized a rule that required the exact match based on a provided illustration on how to solve logical languages to their conclusions. Chapter 5 expanded on this by introducing conjunction through "and" (^), truth tables, and two more rules that were simplification (^E) and adjunction (^I). Furthermore, it covered alternative phrasings for "and" like "but", building truth tables with derived premises from complex sentences, and the concept of a tautology that can be true in every row of its truth table. Across both chapters, I worked through the Week 2 practice problems and homework, using Proof Checker to construct direct proofs with all five rules, translating English sentences i...