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