Search Results

Search Results for "PHIL 111"

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.

College/Department: Arts and Sciences/English Philosophy
Repeat Status: Not repeatable for credit