For “odd or even” among integers, true/false and false/true are possible; true/true and false/false are not. This illustrates why haqiqiyyah is stronger than merely saying that two alternatives do not occur together: it also requires that one must occur.
Opening interactive controls...
Testing all four truth-status patterns
Conditional Propositions: Connected and Disjunctive Forms
For “odd or even” among integers, true/false and false/true are possible; true/true and false/false are not. This illustrates why haqiqiyyah is stronger than merely saying that two alternatives do not occur together: it also requires that one must occur.