CST329 - Module 6
What did I learn in the sixth week of CST329? This module covered chapters 13 and 14, which introduced the proof rules needed to reason with quantifiers. Chapter 13 covered three new rules, which were universal instantiation, existential generalization, and existential instantiation. Chapter 14 introduced universal derivation, while also covering logically true sentences and an informal model method to illustrate that an argument is invalid. Across these two chapters, I worked through practice problems and homework using Proof Checker to construct proofs involving universal instantiation, existential generalization, existential instantiation, and universal derivation, translate arguments back into English, explain why an incorrect proof violates the restrictions on these rules, and build informal models to show that certain arguments are invalid.