Focused on using logic to describe and evaluate arguments. Students write formulas in propositional and first-order logic, and learn to construct and verify proofs. Three-valued and modal logic also come up, along with how to choose the right logical framework for different situations.