|
|
|
Nov 26, 2024
|
|
2013-2014 Undergraduate and Graduate Catalog (without addenda) [ARCHIVED CATALOG]
|
PL 2003 Symbolic Logic3 Credits
This course introduces the methods and applications of propositional logic and relational predicate logic. The course looks at the concept of a formal language and covers semantic and proof-theoretic methods of testing arguments for validity. Semantic concepts of tautology, logical equivalence and consistency are compared with their proof-theoretic counterparts, and the notions of soundness and completeness of proof-theoretic methods are introduced.
Note: Satisfies a humanities and social sciences elective.
|
|
|
