Consider the integer claim “It is divisible by 2, or it is not divisible by 4.” For 4, only the first is true; for 3, only the second; for 2, both are true. They cannot both be false, because divisibility by 4 entails divisibility by 2. This exhibits the logic of maniat al-khuluww.
Opening interactive controls...
A precise numerical example of non-emptiness
Conditional Propositions: Connected and Disjunctive Forms
Consider the integer claim “It is divisible by 2, or it is not divisible by 4.” For 4, only the first is true; for 3, only the second; for 2, both are true. They cannot both be false, because divisibility by 4 entails divisibility by 2. This exhibits the logic of maniat al-khuluww.