«الشرطية المنفصلة على ثلاثة أضرب»
A disjunctive conditional is of three kinds.
1. Genuine (ḥaqīqiyyah): the alternatives can neither both be true nor both be false.
2. Exclusive of conjunction (māniʿat al-jamʿ): they cannot both be true, but can both be false.
3. Exclusive of omission (māniʿat al-khulū): they cannot both be false, but can both be true.
Truth means that a component proposition holds, and falsehood that it fails. These relationships must be tested under the same time and respect.