Introduces the format of formal logic proofs and the first set of inference rules: Modus Ponens, Modus Tollens, and Simplification. Students learn to justify each step of a derivation.

Similar Lessons