A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. == Overview == The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA).
A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. == Overview == The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA).
Source: Wikipedia "Conditional proof" · CC BY-SA 4.0
Share this article: X · Bluesky