Если признать суждение A – «все металлы суть элементы» истинным, то никак нельзя допустить, что «ни один металл не есть элемент». Следовательно, если A истинно, то E ложно. Если мы признаём суждение E – «ни один человек не всеведущ» истинным, то мы, конечно, не будем иметь никакого права утверждать суждение A – «все люди всеведущи». Следовательно, если E истинно, то A ложно. Таким образом, из истинности одного из противных суждений следует ложность другого.

Но следует ли из ложности A истинность E или из ложности E истинность A? Отнюдь нет. В этом мы можем убедиться из следующих примеров. Возьмём суждение A – «все бедняки порочны» – и признаем, что это суждение ложно. Можно ли в таком случае утверждать суждение E – «ни один бедняк не порочен»? Конечно, нельзя, потому что в действительности может оказаться, что только некоторые бедняки не порочны, а некоторые – порочны. Если я выскажу суждение E – «ни один алмаз не драгоценен» – и вы станете отрицать истинность этого суждения, то сочтёте ли вы себя вправе утверждать, что «все алмазы драгоценны»? Конечно, нет. Отрицая моё утверждение, вы в свою очередь можете только утверждать, что «некоторые алмазы драгоценны», допуская в то же время, что «некоторые алмазы не драгоценны». Следовательно, при ложности одного из противных суждений нельзя признать истинность другого, потому что между ними всегда может быть нечто среднее.

Итак, в двух противных суждениях из истинности одного следует ложность другого, но из сложности одного не следует истинность другого; оба суждения не могут быть истинными (потому что если одно истинно, то другое ложно), но оба могут быть ложными (потому что при ложности одного ложным может быть другое).