In Aristotelis Analyticorum Priorum Librum I Commentarium

οἷον εἰ τὸ Β καὶ τὸ Z ἢ ἐναντία ἢ μὴ ἐνδέχεται τῷ αὐτῷ ὑπάρχειν.

Δείκνυσιν, ὅτι καὶ ὅταν ἐναντία λαβόντες τινὰ ἀλλήλοις εἶναι τῶν περὶ ἑκατέρου τῶν ἄκρων ἐκλελεγμένων ἢ ὅλως ἀντικείμενα δεικνύωμέν τι καὶ συλ- λογιζώμεθα, ὅτι καὶ τότε οὐ διὰ τὸ τὰ ἐναντία ἡ ἀντικείμενα εἰλῆφθαι ὁ συλ- λογισμὸς ἀλλὰ διὰ τὸ τινά, ὧν προειρήκαμεν ἡμεῖς ἐκλογῶν, ἀληθῆ εἶναι. εἰ γάρ τις λαβὼν τὸ Β τοῦτο δ’ ἦν ἑπόμενον τῷ Α) ἐναντίον εἶναι τῷ Ζ, ὃ ἦν τῷ E ἑπόμενον, δεικνύοι, ὅτι μηδενὶ τῷ E τὸ Α ὑπάρχει, οὐ δι’ ἄλλο τι τοῦτο δείξει συναγόμενον ἢ δι’ ὃν ἡμεῖς εἰρήκαμεν τρόπον. εἰ γὰρ τὸ Z καὶ τὸ Β εἴη ἐναντία, ἀμφοτέροις, τῷ τε E καὶ τῷ Α, ἑπόμενα, ἀδύνατα ἄν εἴη ἀμφότερα τῷ αὐτῷ, ἢ τῷ Α ἢ τῷ E, ὑπάρχειν· δῆλον γὰρ ὡς τὸ Β τῷ μὲν Α παντὶ ὑπάρξει, τῷ δὲ E οὐκ ἄν ἐνδέχοιτο αὐτὸ ὑπάρχειν ἐναντίον γε ὂν τοῖς ἑπομένοις αὐτῷ · ταῦτα δ’ ἦν τὰ Ζ· ἀλλὰ μὴν τὰ μὴ ὑπάρχοντα τῷ E τὰ Θ ἦν· τὸ ἄρα Β τινὶ τῶν Θ ἔσται ταὐτόν. οὕτως γὰρ παντὶ μὲν τῷ Α τὸ Β τῷ Θ ὂν ταὐτόν, τῷ δὲ E οὐδενὶ τὸ Θ ὑπάρξει· οὗτος δέ ἐστιν εἷς τῆς ἐκλογῆς τῶν προειρημένων ὑφ’ ἡμῶν τρόπος. ἐπεὶ ἄν γε ληφθῇ τὸ μὲν Β παντὶ τῷ Α τὸ δὲ Ζ παντὶ τῷ E, ἐναντίον δὲ ᾖ τὸ Β τῷ Z, ἐκ τούτων οὐδὲν οἷόν τε προσεχῶς συναχθῆναι· οὐδὲ γὰρ μέσος τις ὅρος ἐν ταῖς προτάσεσιν εἴληπται. εἰ γὰρ τὸ μὲν λευκὸν χιόνι τὸ δὲ μέλαν ἐναντίον ὂν τῷ λευκῷ πίττῃ, χιὼν μὲν οὐδεμιᾷ πίττῃ, οὐ μὴν· ἐκ τῶν κειμένων, ἐπειδὴ μὴ εἴληπταί τι κοινόν, ἀλλὰ τῷ τὸ Β τὸ ἑπόμενον τῷ Α ταὐτὸν εἶναι τῷ Θ, ὃ οὐχ οἷόν τε ὑπάρχειν τῷ E, ἢ πάλιν τὸ Z, ὃ ἦν ἑπόμενον τῷ E, ταὐτὸν εἶναι τῷ Δ, ὃ μὴ ἐνδέχεται τῷ Α. οὕτω γὰρ τὸ αὐτὸ τῷ μὲν ἑτέρῳ αὐτῶν ὑπάρξει παντὶ τῷ δὲ ἑτέρῳ οὐδενί, καὶ ἔσται συλλογισμός, καθ’ ὃν τρόπον εἰρήκαμεν, ἐν δευτέρῳ σχήματι· δεῖ γὰρ τὸ λευκὸν ταὐτόν τινι εἶναι τῶν μὴ ἐνδεχομένων πίττῃ ὑπάρχειν, ἵν’ οὕτως ᾖ συλλογισμός, ἀλλ’ οὐχ ἁπλῶς ὡς] ἐναντίον τῷ μέλανι, ὃ ὑπάρχει τῇ πίττῃ.