Aristotle: Analytica Priora (Prior Analytics)

κινεῖται δὲ τὸ ζῷον οὐκ ἐξ ἀνάγκης, οὐδ᾿ ὁ ἄνθρωπος. Ὁμοίως δὲ καὶ εἰ στερητικὸν εἴη τὸ Α Β· ἡ γὰρ αὐτὴ ἀπόδειξις. Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν, εἰ μὲν τὸ καθόλου ἐστὶν ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον, εἰ δὲ τὸ κατὰ μέρος, οὐκ ἀναγκαῖον, οὔτε στερητικῆς οὔτε κατηγορικῆς οὔσης τῆς καθόλου προτάσεως. Ἔστω δὴ πρῶτον τὸ καθόλου ἀναγκαῖον, καὶ τὸ μὲν Α παντὶ τῷ Β ὑπαρχέτω ἐξ ἀνάγκης, τὸ δὲ Β τινὶ τῷ Γ ὑπαρχέτω μόνον· ἀνάγκη δὴ τὸ Α τινὶ τῷ Γ ὑπάρχειν ἐξ ἀνάγκης· τὸ γὰρ Γ ὑπὸ τὸ Β ἐστί, τῷ δὲ Β παντὶ τὸ Α ὑπῆρχεν ἐξ ἀνάγκης. Ὁμοίως δὲ καὶ εἰ στερητικὸς εἴη ὁ συλλογισμός· ἡ γὰρ αὐτὴ ἔσται ἀπόδειξις. Εἰ δὲ τὸ κατὰ μέρος ἐστὶν ἀναγκαῖον, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον· οὐδὲν γὰρ ἀδύνατον συμπίπτει, καθάπερ οὐδ᾿ ἐν τοῖς καθόλου συλλογισμοῖς. Ὁμοίως δὲ κἀπὶ τῶν στερητικῶν. Ὅροι κίνησις—ζῷον—λευκόν.

Ἐπὶ δὲ τοῦ δευτέρου σχήματος, εἰ μὲν ἡ στερητικὴ πρότασίς ἐστιν ἀναγκαία, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον, εἰ δ᾿ ἡ κατηγορική, οὐκ ἀναγκαῖον. Ἔστω γὰρ πρῶτον ἡ στερητικὴ ἀναγκαία, καὶ τὸ Α τῷ μὲν Β μηδενὶ ἐνδεχέσθω, τῷ δὲ Γ ὑπαρχέτω μόνον. Ἐπεὶ οὖν ἀντιστρέφει τὸ στερητικόν, οὐδὲ τὸ Β τῷ Α οὐδενὶ ἐνδέχεται· τὸ δὲ Α παντὶ τῷ Γ ὑπάρχει, ὥστ᾿ οὐδενὶ τῷ Γ τὸ Β ἐνδέχεται· τὸ γὰρ Γ ὑπὸ τὸ Α ἐστίν. Ὡσαύτως δὲ καὶ εἰ πρὸς τῷ Γ τεθῇ τὸ στερητικόν· εἰ γὰρ τὸ Α μηδενὶ τῷ Γ ἐνδέχεται, οὐδὲ τὸ Γ οὐδενὶ τῷ Α ἐγχωρεῖ· τὸ δὲ Α παντὶ τῷ Β ὑπάρχει, ὥστ᾿ οὐδενὶ τῶν Β τὸ Γ ἐνδέχεται· γίνεται γὰρ τὸ πρῶτον σχῆμα πάλιν. Οὐκ ἄρα οὐδὲ τὸ Β τῷ Γ. ἀντιστρέφει γὰρ ὁμοίως. Εἰ δὲ ἡ κατηγορικὴ πρότασίς ἐστιν ἀναγκαία, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β ἐξ ἀνάγκης, τῷ δὲ Γ μηδενὶ ὑπαρχέτω μόνον. Ἀντιστραφέντος οὖν τοῦ στερητικοῦ τὸ πρῶτον γίνεται σχῆμα· δέδεικται