Для отношения противоречия

Два противоречащих суждения не могут быть одновременно ни истинными, ни ложными.

Аи↔Ол; Ал↔Ои; Еи↔Iл; Iи↔Ел

Что можно заключить из истинности суждения «Некоторые женщины имеют научный склад ума»? Логика дает только один правильный ответ: истинность частноутвердительного суждения влечет ложность соответствующего ему общеотрицательного суждения «Ни одна женщина не обладает научным складом ума». Установив ложность частноотрицательного суждения «Некоторые кошки не являются животными», можем смело утверждать истинность общеутвердительного суждения «Все кошки – животные».

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

Распределенность термина

Тема «Распределенность термина» является очень важной в изучении курса логики по двум причинам: 1) во-первых, она помогает синтезировать знания, полученные в разделах «Понятие» и «Суждение»; 2)во-вторых, закладывает фундамент для постижения правил силлогистического мышления, подготавливая к успешному освоению темы «Умозаключение». Итак, начнем, как обычно, с формулировки определения.

Понятие, взятое в полном объеме или же в полном объеме исключающееся, называется распределенным. Приведем таблицу, иллюстрирующую варианты распределенности S и Р в четырех типах простых категорических суждений. Знак «+» в графе «распределенность» означает, что термин в данном суждении распределен, знак «–» указывает на нераспределенность термина. Графические схемы иллюстрируют варианты отношений между субъектом и предикатом в каждом из четырех типов простых категорических суждений.

Таблица распределенности терминов

Тип суждения	Графическая схема	Распределенность S	Распределенность Р
1. А	I II	+	– (+)
2.Е	III	+	+
3.I	IV V	–	– (+)
4.O	VI VII   P	–	+

Таблица позволяет сделать следующие выводы относительно распределенности терминов в простых категорических суждениях:

1)во всех общих суждениях субъект всегда распределен;

2)во всех частных суждениях субъект всегда не распределен;

3)во всех отрицательных суждениях предикат всегда распределен;

4)во всех утвердительных суждениях предикат, как правило, на распределен, за исключением двух случаев: тождества субъекта и предиката в общеутвердительном суждении и включенности объема предиката в объем субъекта в частноутвердительном суждении.