An impossibility (muḥāl) is a consequence incompatible with an accepted necessary or logical principle. For instance, the same proposition cannot be both affirmed and denied in the same respect and at the same time.
The surprising is not necessarily impossible. Nor does disliking a result establish a contradiction.
Since the impossibility of the consequent is a central premise in the second syllogism, its status must be adequately justified.
Opening interactive controls...
Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim
An impossibility (muḥāl) is a consequence incompatible with an accepted necessary or logical principle. For instance, the same proposition cannot be both affirmed and denied in the same respect and at the same time.
The surprising is not necessarily impossible. Nor does disliking a result establish a contradiction.
Since the impossibility of the consequent is a central premise in the second syllogism, its status must be adequately justified.