Page 30b18

Εἰ δ’ ἡ κατηγορικὴ πρότασίς ἐστιν ἀναγκαία, τὸ συμπέρασμα πέρασμα οὐκ ἔσται ἀναγκαῖον. Ὅτι μὴ γίνεται ἀναγκαῖον τὸ συμπέρασμα ἐν δευτέρῳ σχήματι τῆς καταφατικῆς καθόλου τε καὶ ἀναγκαίας οὔσης τῆς δὲ ἑτέρας καθόλου ἀποφατικῆς ὑπαρχούσης δείκνυσιν ἀναγαγὼν διὰ τῆς ἀντιστροφῆς τὴν συμπλοκὴν τὴν ἐκκειμένην εἰς τὸ πρῶτον σχῆμα καὶ δείξας τὴν ἐλάττονα γινομένην ἀναγκαίαν ἐν αὐτῷ. μείζων γὰρ ἐν πρώτῳ σχήματι ἡ ἀποφατικὴ ἐν ταῖς συλλογιστικαῖς συζυγίαις τῷ τὴν ἐλάττονα δεῖν αἰεὶ καταφατικὴν εἶναι· μὴ οὔσης δὲ τῆς ἀποφατικῆς ἀναγκαίας οὐκ ἐγίνετο τὸ συμπέρασμα ἀναγκαῖον.