Aristotle: Analytica Priora (Prior Analytics)

γὰρ εἰ ἄνθρωπος μὴ ὑπάρχει τινὶ ζῴῳ, καὶ ζῷον οὐχ ὑπάρχει τινὶ ἀνθρώπῳ.

Πρῶτον μὲν οὖν ἔστω στερητικὴ καθόλου ἡ Α Β πρότασις. Εἰ οὖν μηδενὶ τῷ Β τὸ Α ὑπάρχει, οὐδὲ τῶν Α οὐδενὶ ὑπάρξει τὸ Β. Εἰ γάρ τινι, οἷον τῷ Γ, οὐκ ἀληθὲς ἔσται τὸ μηδενὶ τῶν Β τὸ Α ὑπάρχειν· τὸ γὰρ Γ τῶν Β τί ἐστιν. Εἰ δὲ παντὶ τὸ Α τῷ Β, καὶ τὸ Β τινὶ τῷ Α ὑπάρχει. Εἰ γὰρ μηδενί, οὐδὲ τὸ Α οὐδενὶ τῷ Β ὑπάρξει· ἀλλ᾿ ὑπέκειτο παντὶ ὑπάρχειν. Ὁμοίως δὲ καὶ εἰ κατὰ μέρος ἐστὶν ἡ πρότασις. Εἰ γὰρ τὸ Α τινὶ τῶν Β, καὶ τὸ Β τινὶ τῶν Α ἀνάγκη ὑπάρχειν. Εἰ γὰρ μηδενί, οὐδὲ τὸ Α οὐδενὶ τῶν Β ὑπάρξει. Εἰ δέ γε τὸ Α τινὶ τῶν Β μὴ ὑπάρχει, οὐκ ἀνάγκη καὶ τὸ Β τινὶ τῷ Α μὴ ὑπάρχειν, οἷον εἰ τὸ μὲν Β ἐστὶ ζῷον, τὸ δὲ Α ἄνθρωπος· ἄνθρωπος μὲν γὰρ οὐ παντὶ ζῴῳ, ζῷον δὲ παντὶ ἀνθρώπῳ ὑπάρχει.

Τὸν αὐτὸν δὲ τρόπον ἕξει καὶ ἐπὶ τῶν ἀναγκαίων προτάσεων. Ἡ μὲν γὰρ καθόλου στερητικὴ καθόλου ἀντιστρέφει, τῶν δὲ καταφατικῶν ἑκατέρα κατὰ μέρος. Εἰ μὲν γὰρ ἀνάγκη τὸ Α τῷ Β μηδενὶ ὑπάρχειν, ἀνάγκη καὶ τὸ Β τῷ Α μηδενὶ ὑπάρχειν· εἰ γὰρ τινὶ ἐνδέχεται, καὶ τὸ Α τῷ Β τινὶ ἐνδέχοιτο ἄν. Εἰ δὲ ἐξ ἀνάγκης τὸ Α παντὶ ἢ τινὶ τῷ Β ὑπάρχει, καὶ τὸ Β τινὶ τῷ Α ἀνάγκη ὑπάρχειν· εἰ γὰρ μὴ ἀνάγκη, οὐδ᾿ ἂν τὸ Α τινὶ τῶν Β ἐξ ἀνάγκης ὑπάρχοι. Τὸ δ᾿ ἐν μέρει στερητικὸν οὐκ ἀντιστρέφει διὰ τὴν αὐτὴν αἰτίαν δι᾿ ἣν καὶ πρότερον ἔφαμεν.

Ἐπὶ δὲ τῶν ἐνδεχομένων, ἐπειδὴ πολλαχῶς λέγεται τὸ ἐνδέχεσθαι (καὶ γὰρ τὸ ἀναγκαῖον καὶ τὸ μὴ ἀναγκαῖον καὶ τὸ δυνατὸν ἐνδέχεσθαι λέγομεν), ἐν μὲν τοῖς καταφατικοῖς ὁμοίως ἕξει κατὰ τὴν ἀντιστροφὴν ἐν ἅπασιν. Εἰ γὰρ τὸ Α παντὶ ἢ τινὶ τῷ Β ἐνδέχεται, καὶ τὸ Β τινὶ τῷ Α ἐνδέχοιτο