Māniʿat al-khulū is a disjunction whose component claims cannot both be false: at least one must hold. They may, however, both be true.
Consider: “This thing is not human, or it is an animal.” If something is human, it necessarily is an animal; the two clauses cannot both fail.
For a nonhuman animal, such as a horse, “not human” and “animal” are both true. This illustrates why joint truth is permitted in this kind.
Opening interactive controls...
Conditional Propositions: Connectives, Disjunctions and Their Main Kinds
Māniʿat al-khulū is a disjunction whose component claims cannot both be false: at least one must hold. They may, however, both be true.
Consider: “This thing is not human, or it is an animal.” If something is human, it necessarily is an animal; the two clauses cannot both fail.
For a nonhuman animal, such as a horse, “not human” and “animal” are both true. This illustrates why joint truth is permitted in this kind.