High Quality Content by WIKIPEDIA articles! 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 (CFA). Thus, the goal of a conditional proof is to demonstrate that if the CFA were true, then the desired conclusion necessarily follows. Note that the validity of a conditional proof does not require that the CFA is actually true, only that if it is true it leads to the consequent.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.