top of page
CST329
Reasoning with Logic
In this course students learn to develop skill in using logic to describe and assess arguments. Students will learn to write formulas in propositional and first-order logic, and more importantly, to write and check proofs. Students will also learn to write formulas in three-valued and modal logic, know how to choose an appropriate logic, and understand the limitations of logic in capturing human reasoning.
Outcomes
Proofs
The major outcome of this course was our knowledge of the language of logic and checking the validity of arguments. We learned how to write proofs for propositional and first-order logic with many rules such as modus ponens, modus tollens, negation, conditional derivation, etc.
Below are a sampling of proofs solved in this course.
bottom of page