2018-2020 Undergraduate and Graduate Bulletin (with addenda) 
    
    Aug 03, 2020  
2018-2020 Undergraduate and Graduate Bulletin (with addenda) [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PL-UY 2004 Symbolic Logic

4 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.



Add to Portfolio (opens a new window)