Phl 324U Introduction to Formal Logic I

A course in basic propositional and predicate logic. Topics include translation into formal languages, semantic methods for validity (including truth tables and countermodels), and natural deduction proofs.