Students learn to assume a premise temporarily to prove a conditional statement. They practice opening and discharging sub-proofs to handle complex derivation goals.

Similar Lessons