PHL 111 - Valid Reasoning I

An introduction to formal techniques for determining the validity of deductive arguments. Students will learn to complete proofs in symbolic propositional logic, and to complete proofs in symbolic quantified logic with sentences having at least one quantifier.

When Offered: Fall, Spring
Credit: 3