Linked from

The 8 pages that link to Conditional proof, each with the reason it gives.

• Modus tollensCompared with: Unlike this direct inference rule, conditional proof establishes a conditional by a subproof.