Against the Logicians, Books VII-VIII of Against the Learned Section 114

ὡσαύτως δὲ καὶ τὸ ἀρχόμενον ἀπὸ ψεύδους, ἐπ’ ἀληθὲς δὲ λῆγον ἐστὶν ἀληθές, ὡς τὸ “εἰ πέταται ἡ γῆ, ἔστιν ἡ γῆ”. μόνως δὲ γίνεται ψεῦδος, ὅταν ἀρχόμενον ἀπὸ ἀληθοῦς λήγῃ ἐπὶ ψεῦδος, ὁποῖόν ἐστι τὸ “εἰ ἡμέρα ἔστι, νὺξ ἔστιν”· ἡμέρας γὰρ οὔσης τὸ μὲν ‘‘ἡμέρα ἔστιν” ἀληθές ἐστιν, ὅπερ ἦν ἡγούμενον, τὸ δὲ “νὺξ ἔστι” ψεῦδός ἐστιν, ὅπερ ἦν λῆγον.

Likewise, one that begins with a falsehood but ends with a truth is true, as in “If the earth flies, the earth exists.” It becomes false only when it begins with a truth and ends with a falsehood, as in “If it is day, it is night.” For when it is day, “It is day,” which was the antecedent, is true, while “It is night,” which was the consequent, is false.

De même, celui qui commence par le faux et finit par le vrai est vrai, comme « Si la terre vole, la terre existe ». Il ne devient faux que lorsqu’il commence par le vrai et finit par le faux, comme « S’il fait jour, il fait nuit ». Car, lorsqu’il fait jour, « Il fait jour », qui était l’antécédent, est vrai, tandis que « Il fait nuit », qui était le conséquent, est faux.