Reasoning with Logic

Description

In this course, I learned to develop skills in using logic to describe and assess arguments. I learned to write formulas in propositional and first-order logic and, more importantly, to write and check proofs. I also learned to write formulas in three-valued and modal logic, how to choose an appropriate logic, and understand the limitations of logic in capturing human reasoning.

Logical Proofs

Here are some examples of the kinds of proofs I’ve solved for this class.

• If you’re interested in reading the book we used for this class, you can find it for free here.