Boethius Boethius, De syllogismo hypothetico, 2, 7 Disponantur igitur (ut dictum est) omnes non aequimodae propositiones hoc modo, si est a, est b, si non est a, est c, si est a, est b, si non est a, non est c, si est a, non est b, si non est a, est c, si est a, non est b, si non est a, non est c.