In Aristotelis Analyticorum Priorum Librum I Commentarium

[*](p. 42b 1)

Κατὰ μὲν οὖν τὰς μυρίας προτάσεις λαμβανομένων τῶν συλλογισμῶν.

Κυρίας προτάσεις λέγει τὰς προσεχῶς δεικνυούσας καὶ συλλογιζομένας [*](1 οὐκ ἄλλως ex οὐ καλῶς corr. Β3 παρὰ ex περὶ corr. Β2 3 ᾧ a et Ar.: ὅλῳ Β 6 συλλογιστικῷ a et Ar. (et B ipse vs. 3): συλλογιστικῶς Β 9 τῶν προσεχῶν προτάσεων a 10 ἦν Β: om. a 11 τινα scripsi: τι aB 12 ἐδείχθη] p. 42a 1sqq. 15 πρώτως a: πρώτων B 17 προτάσεων συμπέρασμα a 22 μήτε (post γὰρ) Β: μήτις a 25 δεικνύοιτο B pr. εἰ alterum add. Β: om. a 26 εἴη a: ᾖ Β 29 εἰλημμένοι a 30 οὖν om. a)

τὸ προκείμενον, ἃς ἔδειξεν οὔσας δύο. τοῦτο δὴ λέγει καὶ νῦν, ὅτι, εἰ [*](94r) τὰς κυρίας τοῦ συμπεράσματος καὶ προσεχῶς αὐτὸ δεικνυούσας λαμβάνομεν, ἔσονται ἐν παντὶ συλλογισμῷ προτάσεις μὲν δύο τὸ γὰρ ἄρτιοι τῶν δύο σημαντικὸν εἴληφε πάλιν) ὅροι δὲ περιττοί· τρεῖς γὰρ ἐδείχθησαν ὄντες, ἐξ ὧν αἱ προσεχεῖς προτάσεις. ὅτι δὲ τὰ τρία τῶν δύο ἑνὶ ὑπερέχει, δῆλον. ἀλλὰ καὶ ὅτι τὰ συμπεράσματα ἡμίση τῶν προτάσενω τῶν προσεχῶς δεικτικῶν, δῆλον· δύο μὲν γὰρ αἱ προτάσεις, ἓν δὲ τὸ ἐξ αὐτῶν συμπέρασμα. ὁ γὰρ λαβὼν τὸ Α κατὰ τοῦ Β, τὸ Β κατὰ τοῦ Γ, τὸ Γ κατὰ τοῦ Δ καὶ συμπερανάμενος ‘τὸ Α ἄρα κατὰ τοῦ Δ’ οὐ διὰ κυρίων οὐδὲ διὰ προσεχῶν προτάσεων ἔδειξε τὸ συμπέρασμα· κύριαι γὰρ καὶ προσεχεῖς ἡ ῾ τὸ Α κατὰ τοῦ Γ’ καὶ ῾ τὸ Γ κατὰ τοῦ Δ’, αἱ δὲ Α Β καὶ Β Γ δεικτικαὶ προσεχῶς τοῦ Α Γ, ὃ συμπέρασμα τούτων ὂν πρότασις προσεχῶς γίνεται δεικτικὴ πρότασις] τοῦ Α Δ συμπεράσματος.