Introduction to Logic

Logic 101 trains you to think about reasoning itself: when does a conclusion actually follow from premises, and how do you prove it rigorously rather than just feeling persuaded. You'll translate English arguments into propositional and predicate logic, run truth tables, build tree proofs, and construct models or countermodels — often with software like Tarski's World — to certify validity or expose the gap. As a first-year requirement, it lays the groundwork for any later course where precise argument matters, from philosophy and linguistics to CS theory and math proofs.