Course Details

MAT324 Formal Logic

An introduction to elementary deductive logic to include propositional logic and first-order quantification theory with identy. Emphasis on natural deduction techniques. Some discussion of computability and other topics in the foundations of mathematics and philosophy of logic.

Credit Hours: 3

Prerequisites: MAT118