Conditional proof

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.

The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA). Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows. The validity of a conditional proof does not require that the CPA be actually true, only that if it were true it would lead to the consequent.

单词	Conditional proof
释义	Conditional proof 英语百科 Conditional proof 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. The assumed antecedent of a conditional proof is called the conditional proof assumption (CPA). Thus, the goal of a conditional proof is to demonstrate that if the CPA were true, then the desired conclusion necessarily follows. The validity of a conditional proof does not require that the CPA be actually true, only that if it were true it would lead to the consequent.
随便看	library name的意思 library negative mould的意思 library network的意思 library networks的意思 Library,Nursing的意思 library object的意思 Library of Alexandria的意思 library of algorithms的意思 library of atandard components的意思 Library of Congress的意思 Library of Congress Classification的意思 Library of Congress Computer Catalog的意思 Library of Congress Information Service的意思 library of congress number的意思 Library of Congress system的意思 Library of Congress, the的意思 library of cross section的意思 library of data的意思 Library of Efficient Data types and Algorithms的意思 library of factors的意思 library of hardware characteristic的意思 library of host molecules的意思 library of lessons的意思 library of libraries的意思 library of program development tool的意思