Так же обстоит дело и с отрицательными терминами по отношению к утвердительным. В самом деле, пусть А обозначает равное, Б – не равное, В – неравное и Д – не неравное.
И относительно многих вещей, одним из которых присуще то, что другим не присуще, отрицание одинаково истинно, сказать ли «все [А] не суть белые» или «каждое [А] не есть белое», но ложным будет утверждение: «каждое [А] есть не белое», или «все [А] суть не белые». Точно так же отрицанием утверждения «всякое живое существо есть белое» не будет «всякое живое существо есть не белое» (ведь оба положения ложны), а таким отрицанием будет «всякое живое существо не есть белое». Но так как ясно, что смысл высказываний «есть не белое» и «не есть белое» различен и первое есть утверждение, а второе – отрицание, то очевидно, что и способ [доказательства] того и другого будет не одним и тем же, например [для положений] «то, что есть живое существо, не есть белое или может не быть белым» и «правильно сказать, что то, что есть живое существо, есть не белое», ибо это последнее и означает быть не белым. Но для [положений] «правильно сказать, что оно есть белое» и «правильно сказать, что оно есть не белое» способ [доказательства] будет одним и тем же, ибо оба [положения] доказываются как утвердительные через первую фигуру. В самом деле, «правильно сказать» употребляется так же, как «есть», ибо отрицанием [положения] «правильно сказать, что оно есть белое» не будет «правильно сказать, что оно есть не белое», а отрицанием его будет «неправильно сказать, что оно есть белое». Поэтому если [надо доказать положение] «правильно сказать, что все, что есть человек, образованно или не образованно», то нужно принять [положение] «все, что есть живое существо, образованно или не образованно» и таким образом доказать [требуемое]. Напротив, положение «то, что есть человек, не образованно» доказывается тремя ранее указанными модусами для опровергания.
Вообще же, когда А и Б так относятся друг к другу, что не могут вместе быть присущими одному и тому же (а всякой вещи необходимо присуще лишь одно из них), а В и Д со своей стороны относятся друг к другу точно таким же образом и А при этом следует из В, но не наоборот, тогда и Д будет следовать из Б, но не наоборот, и А и Д могут быть присущими одному и тому же, но Б и В – не могут. Итак, во-первых, что Д следует из Б – это очевидно вот из чего. Так как всякой вещи необходимо присуще или В, или Д, а тому, чему присуще Б, не может быть присуще В, ибо А содержит в себе В, а А и Б не могут быть присущи одному и тому же, то очевидно, что Д будет следовать из Б. Во-вторых, так как В необратимо с А, а всякой вещи присуще или В, или Д, то А и Д возможно присущи одному и тому же. Но Б и В не могут быть присущи одному и тому же, поскольку А сопутствует В, иначе получилось бы нечто невозможное. Очевидно поэтому, что Б необратимо с Д, так как А вместе с Д возможно присущи одному и тому же.
Иногда бывает, что при таком расположении терминов впадают в ошибку из-за того, что неправильно берут противоположности, одна из которых необходимо присуща всякой вещи, например, [когда рассуждают так]: «Если А и Б не могут вместе быть присущи одному и тому же, то необходимо, чтобы тому, чему не присуще А, было присуще Б; В и Д, со своей стороны, относятся друг к другу точно таким же образом, и всему тому, чему присуще В, сопутствует А. Отсюда следует, что тому, чему присуще Д, необходимо присуще и Б». Однако это ложно. В самом деле, пусть отрицанием А и Б будет З, а отрицанием В и Д – Ф; в таком случае всякой вещи необходимо присуще либо А, либо З, а именно либо утверждение, либо отрицание, а с другой стороны, либо В, либо Ф, ибо они также утверждение и отрицание. И чему присуще В, всему тому, по предположению, присуще и А; следовательно, чему присуще З, всему тому присуще Ф. Далее, так как каждой вещи присуще одно из двух, или З, или Б и точно так же или Ф, или Д, а Ф следует из З, то и Б также будет следовать из Д, что мы уже знаем. Таким образом, если А следует из В, то и Б следует из Д. Но это ложно, ибо при таком отношении терминов порядок их следования был как раз обратным. В самом деле, не необходимо, пожалуй, чтобы всякой вещи было присуще либо А или З, либо З или Б, так как З не есть отрицание А. Ведь отрицанием «блага» будет «не благо», но «не благо» не есть то же, что «ни благо, ни не благо». Точно так же обстоит дело и с В и Д, ибо [для одного термина] было принято два отрицания.