Read our cookies policy and privacy statement for more information.
×Davis, California•
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.
Units: 4.0
Hours: Lecture—3 hour(s); Discussion—1 hour(s).