Disjunctive istithna’i reasoning uses an either/or premise. For an integer:
Premise 1: It is either even or odd.
Premise 2: It is even.
Conclusion: It is not odd.
The conclusion follows because an integer cannot be both even and odd.
Opening interactive controls...
Istithna’i with a disjunctive proposition
Types of Qiyas: Istithna’i and Iqtirani
Disjunctive istithna’i reasoning uses an either/or premise. For an integer:
Premise 1: It is either even or odd.
Premise 2: It is even.
Conclusion: It is not odd.
The conclusion follows because an integer cannot be both even and odd.