PHIL& 120 - Symbolic Logic

1. Apply the basic vocabulary of logical theory: argument, deduction, induction, validity, soundness, consistency, etc. [REASON]
2. Reduce information to symbolic form by translating statements and arguments from English into the formal logical languages of both truth-functional and predicate logic. [REASON]
3. Apply truth tables to test single statements for logical status (tautology, self-contradiction, contingency), to test pairs of statements for the logical relations (equivalence, contradiction, consistency), and to test arguments for validity. [REASON]
4. Apply natural deduction in propositional logic, with rules of implication and replacement rules, to prove arguments valid. [REASON]
5. Apply natural deduction in predicate logic, with rules of inference and replacement rules, to prove arguments valid, including arguments containing relational predicates and multiple quantifiers. [REASON]
6. Select appropriate proof strategies when completing natural deduction proofs (Direct Proof, Conditional Proof and Indirect Proof). [REASON]