Course creator: John Bowin
A first course in symbolic deductive logic. Major topics include (but are not limited to) the study of systems of sentential logic and predicate logic, including formal deduction, semantics, and translation from natural to symbolic languages.
General education code(s): MF
Type of course and Credit: Online, 5 units
Course first offered: Summer 2019