Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

Skip to Main Content
University of Pittsburgh-Johnstown
University of Pittsburgh Johnstown    
2018-2019 Johnstown Campus Catalog 
  Aug 18, 2019
2018-2019 Johnstown Campus Catalog [Archived Catalog]

[Add to Portfolio]


Minimum Credits: 3
Maximum Credits: 3
This advanced undergraduate course develops skills in formal and informal reasoning in predicate-quantifier logic, and covers formal semantics for sentential logic, informal semantics for predicate-quantifier logic, and elementary syntactic metatheory.
Academic Career: Undergraduate
Course Component: Lecture
Grade Component: LG/SU3 Elective Basis
Course Requirements: PREQ: MATH 0001 or 0031 or Math Placement Score (46 or greater)

Click here for class schedule information.

[Add to Portfolio]