واستثناء نقيض التالي ينتج رفع المقدم
And excepting the negation of the consequent yields denial of the antecedent.
Form:
If A, then B.
But not B.
Therefore not A.
If A were true, the true conditional would require B. Since B is denied, A cannot still be affirmed. This is a proof that proceeds by denying the consequent.
Opening interactive controls...
Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals
واستثناء نقيض التالي ينتج رفع المقدم
And excepting the negation of the consequent yields denial of the antecedent.
Form:
If A, then B.
But not B.
Therefore not A.
If A were true, the true conditional would require B. Since B is denied, A cannot still be affirmed. This is a proof that proceeds by denying the consequent.