Expands the logical toolkit with additional rules of implication: Addition, Conjunction, and Constructive Dilemma. Focuses on the strategic goal-oriented nature of formal proofs.

Similar Lessons