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

А I	О Е
И	И
И	Л
Л	И
Л	Л

Отношение противоречия имеет место между общеутвердительными суждения (А) и частноотрицательными (О), а также между общеотрицательными (Е) и частноутвердительными (I).

Так два суждения “Все преступления наказуемы.” и ”Некоторые преступления не наказуемы.” не могут быть одновременно ни истинными, ни ложными. То же можно сказать и о суждениях “Ни один преподаватель не является сотрудником ОВД.” и ”Некоторые преподаватели являются сотрудниками ОВД.”.

Вопрос 4.

Распределённость терминов в категорических суждениях.

Термин в суждении считается распределённым, если он взят в полном объёме (то есть полностью включается в объём другого термина, либо полностью исключается из него), в противном случае термин считается нераспределённым.

Субъект всегда распределён только в общих суждениях, а предикат — только в отрицательных. Если распределённый термин обозначать знаком “+”, а нераспределённый — знаком “--”, то распределённость терминов в простых категорических суждениях можно выразить следующим образом:

Все S⁺ есть Р^--;

Ни одно S⁺ не есть Р⁺;

Некоторые S^-- есть Р^--;

Некоторые S^-- не есть Р⁺.