 Avicenna addresses the relation between disjunctions and conditionals first. The main distinction is between the case in which the disjunction is (i) real (exclusive and exhaustive) and the case in which it is (ii) unreal (to be taken here in the sense of inclusive).[12]  In case (i), the negation of a disjunct implies the affirmation of the other disjunct and the affirmation of a disjunct implies the negation of the other disjunct. In case (ii), the negation of a disjunct implies the affirmation of the other disjunct, but the affirmation of a disjunct does not imply the negation of the other disjunct. Thus, for instance the following relations hold, as instances of the schemata \((\aD^1)pq \rightarrow (\aC)\neg pq\) and \((\aD^1)pq \rightarrow (\aC)p\neg q\):