|
Nov 23, 2024
|
|
|
|
2014-2016 Undergraduate Catalog [ARCHIVED CATALOG]
|
PL 2600 - Formal Logic (3) A study of deduction using symbolic methods, including truth tables, first-order propositional logic, and first-order predicate logic, with emphasis on using rules of inference, conditional and indirect methods, and quantification rules to construct proofs.
|
|