In Aristotelis Analyticorum Priorum Librum I Commentarium

Ἐὰν δ’ ὁ στερητικὸς ᾖ καθόλου τῶν ὅρων.

Λέγει μὲν ἔτι περὶ τῶν ἀνομοιοσχημόνων προτάσεων καὶ συζυγιῶν τῶν τὴν ἑτέραν ἐχουσῶν καθόλου μόνην· εἰρηκὼς δὲ περὶ τῶν, ἐν αἷς ἦν καταφατικὸν τὸ καθόλου, νῦν λέγει περὶ τῶν τὸ ἀποφατικὸν ἐχουσῶν καθόλου καὶ δῆλον ὅτι τὸ ἐπὶ μέρους καταφατικόν. ἐν δὴ ταῖς τοιαύτας ἐχούσαις προτάσεις συζυγίαις λέγει, ὅτι, ἂν μὲν ἡ μείζων ᾖ καθόλου ἀποφατική, συλλογισμὸς ἔσται, οὐκέτι δὲ ἀνάπαλιν. ὅτι δὲ τῆς μείζονος οὔσης καθόλου ἀποφατικῆς τῆς δὲ ἐλάττονος ἐπὶ μέρους καταφατικῆς γίνεται συλλογισμός, δείκνυσιν ἐκθέμενος ἐπὶ τῶν στοιχείων τὴν συζυγίαν. εἰ γὰρ εἴη τὸ Π μηδενὶ τῷ Σ, τὸ δὲ P τινὶ τῷ Σ, τὸ Π τινὶ τῷ P οὐχ ὑπάρξει· διὰ γὰρ τῆς ἐλάττονος προτάσεως ἀντιστραφείσης τῆς P Σ γίνεται τὸ πρῶτον σχῆμα καὶ ὁ τέταρτος ἐν αὐτῷ συλλογισμὸς ἐκ καθόλου ἀποφατικῆς τῆς μείζονος καὶ ἐπὶ μέρους καταφατικῆς τῆς ἐλάττονος ἐπὶ μέρους ἀποφατικὸν συνάγων. τοῦτον τὸν συλλογισμὸν ἔφαμεν ἡμεῖς πέμπτον εἶναι τῷ τοῦτον μὲν δείκνυσθαι δι’ ἀντιστροφῆς, ὃν δ’ αὐτὸς πέμπτον τέθεικε, μὴ δύνασθαι δειχθῆναι δι’ ἀντιστροφῆς· κυριωτέρα γὰρ καὶ οἰκειοτέρα ἡ δι’ ἀντιστροφῆς δεῖξις τῆς δι’ ἀδυνάτου, ὡς αὐτὸς ἐρεῖ. ὅτι δὲ ἔνεστι καὶ τῇ εἰς ἀδύνατον ἀπαγωγῇ καὶ τῷ τρόπῳ τῆς ἐκθέσεως καὶ ἐπὶ τούτου χρήσασθαι ὡς γνώριμον καὶ προειρημένον παρέλιπεν.