Folio 242r

ἐλάττονα ἐνδεχομένην ἔχοντες ἀτελεῖς εἰσιν· ἀδιάφορον τὸ ἴδιον τῆς ἐλάττονος, ὅτε ἐνδεχομένη ἐστιν, εἰ δὲ ὑπάρχουσα, οὐκ ἀδιάφορον. Δύο ἀσυλλόγιστοι, 〈οἱ〉 τὴν ἐλάττονα ἀναγκαίαν ἀποφατικὴν ἔχοντες καὶ ἓξ συλλογιστικοί, οἱ μὴ ἔχοντες τὴν ἐλάττονα ἀναγκαίαν ἀποφατικήν. καὶ τούτων ὃ ἀτελεῖς, οἱ ἔχοντες τὴν ἐλάττονα ἐνδεχομένην, πρῶτος, τρίτος, πέμπτος, ἕκτος, δι’ ἀδυνάτου πρῶτος, τρίτος, δι’ ἀντιστροφῆς πέμπτος, ἕκτος· δύο τέλειοι, οἱ ἔχοντες τὴν ἐλάττονα ἀναγκαίαν καταφατικήν, δεύτερος, τέταρτος. δύο τὸ ἐξ ἡμισείας ἀναγκαῖον συνάγουσιν, οἱ ἔχοντες τὴν ἀναγκαίαν ἀποφατικήν, τρίτος, ἕκτος· ὃ τὸ κυρίως ἐνδεχόμενον, οἱ ἔχοντες τὴν ἀναγκαίαν καταφατικήν, ὁ πρῶτος, δεύτερος, τέταρτος, πέμπτος. Πρῶτος τρόπος. Τὸ Α παντὶ τῷ Β ἐξ ἀνάγκης, τὸ Β παντὶ τῷ Γ ἐνδέχεται· ἀτελὴς ὁ συλλογισμὸς καὶ δι’ ἀδυνάτου, καὶ τὸ κυρίως ἐνδεχόμενον συνάγει. λέγω οὖν ὅτι τὸ Α παντὶ τῷ Γ ἐνδέχεται· εἰ γὰρ μὴ τοῦτο, ἀνάγκη τινὶ ἢ ἀνάγκη οὐ παντί· ἄμφω δὲ ἀδύνατον. ἔστω γὰρ πρῶτον τὸ Α τῷ Γ ἀνάγκη οὐ παντί· καὶ ἐπεὶ τὸ Β τῷ Γ ἐνδέχεται παντί, τὸ Β ἄρα τῷ Γ ὑπάρχει παντί· ἐπεὶ οὖν τὸ μὲν Α τῷ Γ ἀνάγκη οὐ παντί, τὸ δὲ Β τῷ Γ ὑπάρχει παντί, γίνεται ὁ πέμπτος τρόπος τοῦ τρίτου σχήματος, ἐν ᾧ τῇ χείρονι ἕπεται τὸ συμπέρασμα· τὸ Α ἄρα τῷ Β ὑπάρχει οὐ παντί· ἀλλὰ καὶ ἐξ ἀνάγκης παντί· ὅπερ ἀδύνατον. ἀλλὰ δὴ ὑποκείσθω τὸ Α τῷ Γ ἀνάγκη τινί· ἐπειδὴ τὸ Α τῷ Γ ἀνάγκη τινί, τὸ δὲ Β τῷ Γ ὑπάρχει παντί, ἐν τρίτῳ σχήματι τῇ μὴ ἀντιστρεφούσῃ ἕπεται τὸ συμπέρασμα, καὶ τὸ