If an integer is divisible by 6, it is divisible by 3: necessary connection. An integer is odd or even: haqiqiyyah. One whole object is an apple or a book: maniat al-jam, since it may be neither. An integer is divisible by 2 or not by 4: maniat al-khuluww, since both cannot be false.
Opening interactive controls...
Worked practice with reasons
Conditional Propositions: Connected and Disjunctive Forms
If an integer is divisible by 6, it is divisible by 3: necessary connection. An integer is odd or even: haqiqiyyah. One whole object is an apple or a book: maniat al-jam, since it may be neither. An integer is divisible by 2 or not by 4: maniat al-khuluww, since both cannot be false.