CST 329: Reasoning with Logic

 Learned how to use formal logic to describe and evaluate arguments. Covered propositional, first-order, three-valued, and modal logic, along with writing and verifying proofs. Also learned how to select an appropriate logical system and recognize the limitations of formal logic when representing human reasoning.