This lesson added a distinction between oppositional and coincidental disjunction, with an unqualified consideration in the marginal commentary. It then established conditional quantity: singular, universal quantified, particular quantified, and indefinite.
Main markers:
Universal affirmative connective — matā, mahmā, kullamā.
Universal affirmative disjunctive — dāʾiman.
Universal negative — laysa al-batta.
Particular affirmative — qad yakūn.
Particular negative — qad lā yakūn.
The next section examines the component forms of antecedent and consequent. We now have separate tools for analyzing a conditional's relation, quality, and quantity.