In mani‘at al-jam‘, both alternatives cannot be true, but both can be false. Example: the object is a tree or a stone, understood as mutually exclusive possibilities, not an exhaustive list; it may be iron. Affirming tree rules out stone. Denying tree does not prove stone.
Opening interactive controls...
What follows from mani‘at al-jam‘?
Types of Qiyas: Istithna’i and Iqtirani
In mani‘at al-jam‘, both alternatives cannot be true, but both can be false. Example: the object is a tree or a stone, understood as mutually exclusive possibilities, not an exhaustive list; it may be iron. Affirming tree rules out stone. Denying tree does not prove stone.