Maniat al-khuluww requires at least one proposition to be true while allowing both. The source’s example is “Zayd is in water or he is not drowning.” Under the intended assumption that drowning entails being in water, both alternatives cannot be false. But both can be true if Zayd is safely in water without drowning.
Opening interactive controls...
Disjunction forbidding joint falsity
Conditional Propositions: Connected and Disjunctive Forms
Maniat al-khuluww requires at least one proposition to be true while allowing both. The source’s example is “Zayd is in water or he is not drowning.” Under the intended assumption that drowning entails being in water, both alternatives cannot be false. But both can be true if Zayd is safely in water without drowning.