دائما إما كل أ ب، أو كل ج ه، أو كل د ز
Always, one of the alternatives obtains: every A is B, or every C is H, or every D is Z.
The book offers this form as a conclusion from disjunctive premises. Da'iman qualifies the overall disjunctive statement; it does not assert that every listed alternative is simultaneously true.
Each symbolic component is itself a whole categorical proposition. One must still examine which alternatives are licensed and under what relation between the original premises.
Opening interactive controls...
Conjunctive Syllogisms with Conditional Propositions
دائما إما كل أ ب، أو كل ج ه، أو كل د ز
Always, one of the alternatives obtains: every A is B, or every C is H, or every D is Z.
The book offers this form as a conclusion from disjunctive premises. Da'iman qualifies the overall disjunctive statement; it does not assert that every listed alternative is simultaneously true.
Each symbolic component is itself a whole categorical proposition. One must still examine which alternatives are licensed and under what relation between the original premises.