Argument

Conditional proof

Overview

formal proof

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Mathematics
• Modus ponens
• Mathematical logic
• Logical consequence
• Material conditional
• Consequent

Place in the tradition

Part of Epistemic modal logic.

Explore Conditional proof in the interactive graph →