أحدهما اقتراني شرطي مركب من المتصلتين
The first is a connected hypothetical syllogism composed of two conditional propositions.
Suppose the original claim is A. One condition links the denial of A to a contradictory state; another says that state entails an impossibility.
Connecting the conditionals yields: If not-A holds, an impossibility follows. This conditional relation is the conclusion of the first syllogism.
Opening interactive controls...
Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim
أحدهما اقتراني شرطي مركب من المتصلتين
The first is a connected hypothetical syllogism composed of two conditional propositions.
Suppose the original claim is A. One condition links the denial of A to a contradictory state; another says that state entails an impossibility.
Connecting the conditionals yields: If not-A holds, an impossibility follows. This conditional relation is the conclusion of the first syllogism.