Τριῶν οὖν ὄντων σχημάτων ἐν ταῖς κατηγορικαῖς προτάσεσι καθ’ ἕκαστον αὐτῶν γίγνονται συλλογισμοὶ πλέονες ὥσπερ κἀν ταῖς ὑποθετικαῖς, ἔνιοι μὲν ἀναπόδεικτοι καὶ πρῶτοι, τινὲς δ’ ἀποδείξεως δεόμενοι. κατὰ μέντοι τὰς ὑποθετικὰς προτάσεις οἱ μὲν ἄλλοι πάντες οἱ ῥηθέντες ἀρτίως ἀναπόδεικτοί εἰσι καὶ πρῶτοι πλὴν τοῦ προσλαμβάνοντος μὲν τὸ τοῦ λήγοντος ἀντικείμενον, ἐπιφέροντος δὲ τοῦ ἡγουμένου τὸ ἀντικείμενον· οὗτος γὰρ μόνος ἀποδείξεως δεῖται. ἐπὶ δὲ τῶν κατηγορικῶν ἐν μὲν τῷ {α} σχήματι {δ} εἰσιν ἀναπόδεικτοι, ὅ τε ἐκ δυοῖν καθόλου καταφατικῶν 〈καθόλου〉 καταφατικὸν ἐπιφέρων συμπέρασμα — δῆλον δὲ ὅτι καὶ τὸ συμπέρασμα πρότασίς τίς ἐστιν ἐκ τῆς πρὸς τὰ λήμματα σχέσεως οὕτως ὠνομασμένη — καὶ δεύτερος ὁ ἐκ καθόλου στερητικῆς πρὸς τῷ μείζονι τῶν ὅρων καὶ καθόλου καταφατικῆς πρὸς τῷ ἐλάττονι καθόλου στερητικὸν ἐπιφέρων συμπέρασμα καὶ τρίτος ὁ ἐκ καθόλου καταφατικῆς πρὸς τῷ μείζονι καὶ ἐπὶ μέρους καταφατικῆς πρὸς τῷ ἐλάττονι ἐπὶ μέρους καταφατικὸν ἔχων συμπέρασμα καὶ λοιπὸς ὁ ἐκ καθόλου στερητικῆς 〈καὶ ἐπὶ μέρους καταφατικῆς〉 ἐν μέρει στερητικὸν ἐπιφέρων συμπέρασμα· τῶν δὲ ἄλλων οὐκέτ’ οὐδεὶς ἀναπόδεικτός ἐστιν οὐδ’ ἐξ ἑαυτοῦ πιστός. (οἳ δὴ ἐν τοῖς ἄλλοις σχήμασιν) ἐκ τῶν εἰρημένων ἔχουσι τὴν ἀπόδειξιν, ἐν μὲν τῷ δευτέρῳ σχήματι {δ} ὑπάρχουσιν, ἐν τῷ {γ} δ’ ἕξ.