Два суждения называются отрицающими или противоречащими друг другу, если одно из них истинно, а другое ложно (т. е. не могут быть одновременно истинными и одновременно ложными).
Отрицающим являются следующие пары суждений:
1. А - О. “Все S суть Р” и “Некоторые Sне суть Р”.
2. Е -1. “Ни одно S не суть Р” и “Некоторое S суть Р”.
3. “Это S суть Р” и “Это S не суть Р”.
Oперацию отрицания в виде образования нового суждения из данного следует отличать от отрицания, входящего в состав отрицательных суждений. Существует два вида отрицания: внутреннее и внешнее. Внутреннее - указывает на несоответствие предиката субъекту (связка выражена словами: “не суть”, “не есть”, “не является”). Например: “Некоторые люди не имеют высшего образования”. Внешнее отрицание означает отрицание всего суждения. Например: “Неверно, что в Москве протекает река Нева”.