Symbolic Logic

Catalog description

This course is a more advanced offering of techniques in logical analysis. Students will focus on constructing deductive arguments, engage in symbolic translation, recognize formal argument forms, do truth-table analysis, conduct proofs, and employ sentential and quantificational logics. Meets Core credit for math/logic.