Цитата из книги «КАТЕГОРИИ»

Что же касается утверждения и отрицания, то существует ли [вещь] или нет – всегда одно из них будет ложным, а другое истинным. Ибо ясно, что, если Сократ существует, одно из высказываний – «Сократ болен» и «Сократ не болен» – истинно, а другое ложно, и точно так же – если Сократа нот, ибо если его пет, то [высказывание] «он болен» ложно, а [высказывание] «оп не болен» истинно. Так что только в тех случаях, где одно противолежит другому как утверждение и отрицание, имеется та особенность, что одно из них всегда истинно, а другое ложно.