Official Course Description: MCCCD Approval: 11/10/81 | |||
---|---|---|---|
PHI113 19886-19945 | LEC | 3 Credit(s) | 3 Period(s) |
Introduction to Mathematical Logic | |||
Basic information in semantics and syntax of sentential and predicate logic, construction of truth trees and derivations in natural deductive systems. Prerequisites: PHI103 or permission of instructor. | |||