PHIL 111 Symbolic Logic I 3.0 Credits
An introduction to the fundamental concepts of symbolic logic: argument, validity, soundness, provability, completeness, consistency, decidability, entailment, logical equivalence, logical truth, logical contradiction. Covers truth-functional connectives, rules of formation and translation, and rules of inference. Proof techniques studied include natural deduction, truth-tables, and/or truth-trees.
Repeat Status: Not repeatable for credit
