Aristotle: Analytica Priora (Prior Analytics)

ὡς ἔστι ξύλον οὐ λευκόν. Ὥστε τὸ Δ ἀληθές, τὸ δ᾿ Α οὐκ ἀληθές, ὅτι ξύλον λευκόν. Δῆλον δ᾿ ὅτι καὶ τὸ Α Γ οὐδενὶ τῷ αὐτῷ καὶ τὸ Β καὶ τὸ Δ ἐνδέχεται τινὶ τῷ αὐτῷ ὑπάρξαι.

Ὁμοίως δ᾿ ἔχουσι καὶ αἱ στερήσεις πρὸς τὰς κατηγορίας ταύτῃ τῇ θέσει. Ἴσον ἐφ᾿ οὗ τὸ Α, οὐκ ἴσον ἐφ᾿ οὗ τὸ Β, ἄνισον ἐφ᾿ οὗ Γ, οὐκ ἄνισον ἐφ᾿ οὗ Δ.

Καὶ ἐπὶ πολλῶν δέ, ὧν τοῖς μὲν ὑπάρχει τοῖς δ᾿ οὐχ ὑπάρχει ταὐτό, ἡ μὲν ἀπόφασις ὁμοίως ἀληθεύοιτ᾿ ἄν, ὅτι οὐκ ἔστι λευκὰ πάντα ἢ ὅτι οὐκ ἔστι λευκὸν ἕκαστον· ὅτι δ᾿ ἐστὶν οὐ λευκὸν ἕκαστον ἢ πάντα ἐστὶν οὐ λευκά, ψεῦδος. Ὁμοίως δὲ καὶ τοῦ ἔστι πᾶν ζῷον λευκόν οὐ τὸ ἔστιν οὐ λευκὸν ἅπαν ζῷον ἀπόφασις (ἄμφω γὰρ ψευδεῖς), ἀλλὰ τὸ οὐκ ἔστι πᾶν ζῷον λευκόν. Ἐπεὶ δὲ δῆλον ὅτι ἕτερον σημαίνει τὸ ἔστιν οὐ λευκόν καὶ οὐκ ἔστι λευκόν, καὶ τὸ μὲν κατάφασις τὸ δ᾿ ἀπόφασις, φανερὸν ὡς οὐχ ὁ αὐτὸς τρόπος τοῦ δεικνύναι ἑκάτερον, οἷον ὅτι ὃ ἂν ᾖ ζῷον, οὐκ ἔστι λευκὸν ἢ ἐνδέχεται μὴ εἶναι λευκόν, καὶ ὅτι ἀληθὲς εἰπεῖν μὴ λευκόν· τοῦτο γάρ ἐστιν εἶναι μὴ λευκόν. Ἀλλὰ τὸ μὲν ἀληθὲς εἰπεῖν ἔστι λευκόν εἴτε μὴ λευκόν ὁ αὐτὸς τρόπος· κατασκευαστικῶς γὰρ ἄμφω διὰ τοῦ πρώτου δείκνυται σχήματος· τὸ γὰρ ἀληθὲς τῷ ἔστιν ὁμοίως τάττεται· τοῦ γὰρ ἀληθὲς εἰπεῖν λευκὸν οὐ τὸ ἀληθὲς εἰπεῖν μὴ λευκὸν ἀπόφασις, ἀλλὰ τὸ μὴ ἀληθὲς εἰπεῖν λευκόν. Εἰ δὴ ἔστιν ἀληθὲς εἰπεῖν, ὃ ἂν ᾖ ἄνθρωπος, μουσικὸν εἶναι ἢ μὴ μουσικὸν εἶναι, ὃ ἂν ᾖ ζῷον, ληπτέον ἢ εἶναι μουσικὸν ἢ εἶναι μὴ μουσικόν, καὶ δέδεικται. Τὸ δὲ μὴ εἶναι μουσικὸν ὃ ἂν ᾖ ἄνθρωπος, ἀνασκευαστικῶς δείκνυται κατὰ τοὺς εἰρημένους τρόπους τρεῖς.

Ἁπλῶς δ᾿ ὅταν οὕτως ἔχῃ τὸ Α καὶ τὸ Β ὥσθ᾿ ἅμα μὲν τῷ αὐτῷ μὴ ἐνδέχεσθαι, παντὶ δὲ ἐξ ἀνάγκης θάτερον, καὶ πάλιν τὸ Γ καὶ τὸ Δ ὡσαύτως, ἕπηται δὲ τῷ Γ τὸ Α καὶ μὴ ἀντιστρέφῃ, καὶ τῷ Β τὸ Δ ἀκολουθήσει καὶ οὐκ