Portland-State-University 2024-2025 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