Aristotle: Analytica Priora (Prior Analytics)

ἀληθές. Οὐδὲν γὰρ κωλύει τὸ Α καὶ τῷ Β καὶ τῷ Γ τινὶ ὑπάρχειν, καὶ τὸ Β τῷ Γ τινὶ ὑπάρχειν, οἷον τὸ ζῷον τινὶ καλῷ καὶ τινὶ μεγάλῳ, καὶ τὸ καλὸν τινὶ μεγάλῳ ὑπάρχειν. Ἐὰν οὖν ληφθῇ τὸ Α παντὶ τῷ Β καὶ τὸ Β τινὶ τῷ Γ, ἡ μὲν Α Β πρότασις ἐπί τι ψευδὴς ἔσται, ἡ δὲ Β Γ ἀληθής, καὶ τὸ συμπέρασμα ἀληθές. Ὁμοίως δὲ καὶ στερητικῆς οὔσης τῆς Α Β προτάσεως· οἱ γὰρ αὐτοὶ ὅροι ἔσονται καὶ ὡσαύτως κείμενοι πρὸς τὴν ἀπόδειξιν. Πάλιν εἰ ἡ μὲν Α Β ἀληθὴς ἡ δὲ Β Γ ψευδής, ἀληθὲς ἔσται τὸ συμπέρασμα. Οὐδὲν γὰρ κωλύει τὸ Α τῷ μὲν Β ὅλῳ ὑπάρχειν τῷ δὲ Γ τινί, καὶ τὸ Β τῷ Γ μηδενὶ ὑπάρχειν, οἷον ζῷον κύκνῳ μὲν παντὶ μέλανι δὲ τινί, κύκνος δὲ οὐδενὶ μέλανι. Ὤστ᾿ εἰ ληφθείη παντὶ τῷ Β τὸ Α καὶ τὸ Β τινὶ τῷ Γ, ἀληθὲς ἔσται τὸ συμπέρασμα ψευδοῦς ὄντος τοῦ Β Γ. Ὁμοίως δὲ καὶ στερητικῆς λαμβανομένης τῆς Α Β προτάσεως. Ἐγχωρεῖ γὰρ τὸ Α τῷ μὲν Β μηδενὶ τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον τὸ γένος τῷ ἐξ ἄλλου γένους εἴδει καὶ τῷ συμβεβηκότι τοῖς αὑτοῦ εἴδεσι· τὸ γὰρ ζῷον ἀριθμῷ μὲν οὐδενὶ ὑπάρχει λευκῷ δὲ τινί, ὁ δ᾿ ἀριθμὸς οὐδενὶ λευκῷ· ἐὰν οὖν μέσον τεθῇ ὁ ἀριθμός, καὶ ληφθῇ τὸ μὲν Α μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρξει, ὅπερ ἦν ἀληθές· καὶ ἡ μὲν Α Β πρότασις ἀληθής, ἡ δὲ Β Γ ψευδής. Καὶ εἰ ἐπί τι ψευδὴς ἡ Α Β, ψευδὴς δὲ καὶ ἡ Β Γ, ἔσται τὸ συμπέρασμα ἀληθές. Οὐδὲν γὰρ κωλύει τὸ Α τῷ Β τινὶ καὶ τῷ Γ τινὶ ὑπάρχειν ἑκατέρῳ, τὸ δὲ Β μηδενὶ τῷ Γ, οἷον εἰ ἐναντίον τὸ Β τῷ Γ, ἄμφω δὲ συμβεβηκότα τῷ αὐτῷ γένει· τὸ γὰρ ζῷον τινὶ λευκῷ καὶ τινὶ μέλανι ὑπάρχει, λευκὸν δ᾿ οὐδενὶ μέλανι. Ἐὰν οὖν ληφθῇ τὸ Α παντὶ τῷ Β καὶ τὸ Β τινὶ τῷ Γ, ἀληθὲς ἔσται τὸ συμπέρασμα. Καὶ στερητικῆς δὲ λαμβανομένης τῆς Α Β ὡσαύτως· οἱ γὰρ αὐτοὶ ὅροι καὶ ὡσαύτως τεθήσονται πρὸς τὴν ἀπόδειξιν. Καὶ ἀμφοτέρων δὲ ψευδῶν οὐσῶν ἔσται τὸ συμπέρασμα