§63.1Fr.
¦Fr.
63
Θ. μὲν καὶ Εὔδημος ἁπλούστερον ἔδειξαν τὴν καθόλου ἀποφατικὴν ἀντιστρέφουσαν ἑαυτῇ·
63¦ 테오프라스토스와 에우데모스는 전칭 부정 명제가 그것 자체와 환위된다는 것을 더 단순하게 보여주었다.
τὴν γὰρ καθόλου ἀποφατικὴν ὠνόμασαν καθόλου στερητικὴν, τὴν δὲ δεῖξιν οὕτως ποιοῦνται.
왜냐하면 그들은 전칭 부정 명제를 전칭 박탈 명제라고 불렀으며, 증명을 다음과 같이 하기 때문이다.
Κείσθω τὸ Α κατὰ μηδενὸς τοῦ Β·
"A가 그 어떤 B에도 속하지 않는다고 가정하자.
εἰ δὲ κατὰ μηδενὸς ἀπέζευκται· καὶ τὸ Β ἄρα παντὸς ἀπέζευκται τοῦ Α, εἰ δὲ τοῦτο κατʼ οὐδενὸς αὐτοῦ.
만약 그것이 그 어떤 B로부터도 분리되어 있다면, B 역시 A 전체로부터 분리되어 있으며, 만약 그렇다면 이것은 그것의 그 어떤 것에도 속하지 않는다."