Portland-State-University 2023-2024 Bulletin

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.

Credits

4
  • Up one level
  • 300