— Intermediate Symbolic Logic

Prerequisites & course information

Course Description: Predicate logic syntax and semantics. Transcription between predicate logic and English. Models, truth-trees, and derivations. Identity, functions, and definite descriptions. Introduction to concepts of metatheory. Learning Activities: Lecture 3 hour(s), Discussion 1 hour(s). Grade Mode: Letter. General Education: Arts & Humanities (AH). Learning Activities: Lecture 3 hour(s), Discussion 1 hour(s). Grade Mode: Letter. General Education: Arts & Humanities (AH).