Portland-State-University 2024-2025 Bulletin

Phl 325U Introduction to Formal Logic II, Predicate Logic

An extension of the topics in Phl 324U to include topics such as truth trees, expressive adequacy, and meta-theory (soundness and completeness). Other topics may include modal logic, probabilistic logic, non-classical logics, logic circuits, and computability theory.

Credits

4
  • Up one level
  • 300