Цитата из книги «Об истолковании»

Очевидно также, что если в единичных [высказываниях] правилен отрицательный ответ на вопрос, то правильно также и [соответствующее] утвердительное [высказывание]. Например: мудрец ли Сократ? Нет. Следовательно, Сократ есть немудрец. Но в общих [высказываниях] сказанное подобным образом не правильно, а правильно отрицание. Например: каждый ли человек мудрец? Нет. Следовательно, каждый человек немудрец; это, конечно, ложно; а истинно то, что не каждый человек мудрец. Это [высказывание] – противолежащее [по противоречию], а то – противоположное.