A mastery-based finale where students apply all rules (inference, replacement, and conditional proof) to construct complex derivations and peer-review their peers' logic for rigor.

Similar Lessons