For a given integer:
Either even or odd.
It is even.
Therefore it is not odd.
Likewise:
Either even or odd.
It is odd.
Therefore it is not even.
These deductions rely on the impossibility of both alternatives holding together.
Opening interactive controls...
Haqiqiyyah: affirmation eliminates the other
Types of Qiyas: Istithna’i and Iqtirani
For a given integer:
Either even or odd.
It is even.
Therefore it is not odd.
Likewise:
Either even or odd.
It is odd.
Therefore it is not even.
These deductions rely on the impossibility of both alternatives holding together.