The lesson expands the toolkit with rules for Conjunction, Simplification, Addition, and Constructive Dilemma. Students solve mid-level proofs that require combining these with implication rules.

Similar Lessons