PHIL 123 Symbolic Logic

Explores argument forms and the nature of validity and deductive reasoning, including proof procedures, truth tables, syllogisms, quantification, and predicate logic.