If an assumption for a conditional proof has been discharged, it cannot be used in subsequent lines of the proof.

Name: If an assumption for a conditional proof has been discharged, it cannot be used in subsequent lines of the proof.
Brand: Quizplus
Rating: 4.8 (32 reviews)

Question

Quizplus · Accepted Answer

In a conditional proof, once an assumption is discharged, it is no longer available for use in subsequent lines because it has served its purpose in deriving the conditional statement.

If an Assumption for a Conditional Proof Has Been Discharged