LING202
Download as PDF
LING202 - Introduction to Symbolic Logic
Course ID
026202
Course Description
In this course we study a formal language, the language of first-order logic (FOL). This language allows one to make mathematically precise the concept of logical consequence; that is, one can say what it means for a sentence in the language of FOL to follow validly from other sentences in that language. The aim of this course is the mastery of the language of FOL, mainly in the execution of proofs in that language.
Min Units
3
Max Units
3
Repeatable for Credit
No
Grading Basis
GRD - Regular Grades A, B, C, D, E
Career
Undergraduate
Course Attributes
CE - CL (Cross Listed)
Cross Listed Courses
Component
Lecture
Optional Component
No