Pour l'ensemble de ce qui suit, cf. n

4. Cf. 77, 25, comparé avec 80, 1 : TtspavTtxô; signifie le syllogisme qui a pour majeure la négation de la disjonction ; ffyXXoYKTxtxô;, le syllogisme à majeure hypothétique ; xpoTrtxô;, à majeure disjonctive ; cf. Galien, 82,8 et Ammom., 77, 12, d'après lesquels ce dernier terme désignerait l'ensemble des raisonnements à majeures hypothétique et disjonctire.