Galen: Institutio Logica (Introduction to Logic)

λοιπόν. οὕτω μὲν ὅταν ἐκ δυοῖν ἡ μάχη συνεστήκῃ· πλειόνων δὲ τῶν μαχομένων ὄντων ἐπὶ μὲν τῆς τελείας μάχης ἤτοι γε ἓν ὑπάρχειν εἰπόντες ἀποφήσομεν τὸ λοιπὸν ἅπαν ἢ ἐκεῖνο πᾶν ἀποφήσομεν, ὑπάρχειν ἐροῦντες τὸ ἕν, οὐ μὴν οὔτε ἀποφήσαντες τὸ ἓν ἐάσομεν ὑπάρχειν τὸ λοιπὸν οὔτε καταφήσαντες ἐκεῖνο τὸ ἓν 〈ἀποφήσομεν〉 ὑπάρχειν· ἐπὶ δὲ τῆς ἐλλιποῦς μάχης ὑπάρχειν εἰπόντες 〈ἕν τι〉 ἀποφήσομεν τὸ λοιπὸν πλῆθος, οὐ μὴν ἄλλην γέ τινα πρόσληψιν ἕξομεν ἐπιτηδείαν εἰς συλλογισμόν. ἐπὶ δὲ τῆς κατὰ συνέχειαν ὑποθετικῆς προτάσεως, ἣν οἱ περὶ τὸν Χρύσιππον ὀνομάζουσι συνημμένον ἀξίωμα, προσλαβόντες μὲν τὸ ἡγούμενον ἕξομεν τὸ λῆγον συμπέρασμα, προσλαβόντες δὲ τὸ τοῦ λήγοντος ἀντικείμενον ἕξομεν συμπέρασμα τὸ τοῦ ἡγουμένου ἀντικείμενον, οὐ μὴν οὔτε τὸ λῆγον προσλαβόντες οὔτε τὸ ἀντικείμενον τοῦ ἡγουμένου συμπέρασμα ἕξομεν.

Ἀντικεῖσθαι δὲ ἀλλήλοις συμπέρασμα καὶ πρότασιν ὀνομάζομεν ὧν ἐστι τελεία μάχη, καὶ χρὴ πάντως αὐτῶν εἶναι μὲν τὸ ἕτερον, οὐκ εἶναι δὲ θάτερον. ἐπὶ μὲν οὖν τῶν ὑποθετικῶν προτάσεων ἀποφάσει πλεονεκτεῖ τὸ ἕτερον αὐτῶν, ἐπὶ δὲ τῶν κατηγορικῶν ἔνθα μὲν πρόσκειται τὸ πᾶς, 〈προτάξομεν〉 ἀπόφασιν τούτου· κατ(ὰ δὲ) τὴν ‘Σωκράτης περιπατεῖ’ τοῦ κατηγορουμένου προτάξομεν τὴν ἀπόφασιν, ὡς γενέσθαι τὸν