4.1 «Кража есть тайное хищение чужого имущества граждан»

Это общеутвердительное суждение, по объединённой классификации обозначается А. Формула суждения в традиционной логике – Все S суть P или SaP. Если объем субъекта и предиката совпадают, и мы можем это представить как «S и только S есть P», то такое суждение называется общеутвердительным выделяющим. Таким условиям отвечает любое правильное, а значит и соразмерное определение. В данном случае приводится именно такое определение. Отношения между терминами в общеутвердительных выделяющих суждениях при помощи кругов Эйлера изображаются следующим образом:

4.2 «Не подлежит уголовной ответственности лицо, которое во время совершения преступления находилось в состоянии невменяемости». Это общеотрицательное суждение, по объединённой классификации обозначается Е.

Его формула в традиционной логике – Ни одно S не суть P или SеP.

Субъект и предикат взяты в полном объеме и потому оба распределены. Отношения между терминами в общеотрицательных суждениях при помощи кругов Эйлера изображаются следующим образом:

4.3 «Не все студенты выполняют контрольную работу самостоятельно»

В данном суждении имеет место внешнее отрицание. В отличие от отрицательной связки, которая отрицает отношение между субъектом и предикатом при внутренним отрицанием, внешнее отрицание («неверно, что», «не») относится ко всему суждению и подвергает отрицанию как его качество, так и количество, т.е. связку и квантор суждения оно изменяет на обратные. Это позволяет нам отнести данное суждение к частноотрицательным (по объединённой классификации O), которое в стандартной логической форме может быть выражено так: «Некоторые студенты не выполняют контрольную работу самостоятельно».

Его формула в традиционной логике – Некоторые S не суть P или SоP. Отношения между терминами в данном частноотрицательном невыделяющем суждении при помощи кругов Эйлера изображаются следующим образом

Задание 5. Признав первое суждение истинным, определите, что может быть сказано при этом условии относительно истинности второго суждения. Используйте в случаях, когда это можно «логический квадрат»

Некоторые нормы права носят принудительный характер

Все нормы права носят принудительный характер

Если частноутвердительное суждение (I) «Некоторые нормы права носят принудительный характер» является истинным, то общеутвердительное суждение (A) «Все нормы права носят принудительный характер» будет неопределенным, поскольку истинность частного суждения не определяет истинности общего суждения. Это можно проверить по логическому квадрату.