لو لم يثبت المدعى ثبت المحال
If the claim is not established, the impossible will be established.
This is the result of the first syllogism. It must be supported by premises from which the unacceptable consequence validly follows.
Simply saying “If my assertion were false, something impossible would follow” is not proof. The argument must show which impossibility follows and by what entailment.
Opening interactive controls...
Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim
لو لم يثبت المدعى ثبت المحال
If the claim is not established, the impossible will be established.
This is the result of the first syllogism. It must be supported by premises from which the unacceptable consequence validly follows.
Simply saying “If my assertion were false, something impossible would follow” is not proof. The argument must show which impossibility follows and by what entailment.