 The resulting propositional types are conditionals (muttaṣilāt) and disjunctions (munfaṣilāt). Avicenna investigates them both with respect to basic logical relations—such as contradiction, subalternation, mutual implication, or conversion—and within the context of syllogistic inferences.