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

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

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

Вопрос 4.

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

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

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

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

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

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

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