Судження, які виключають,— це судження, котрі виражають загальне правило, що має виняток, на які і вказується в судженні.

Виключаючими є такі судження: "Допит обвинувачуваного не може проводитися у нічний час, окрім випадків, коли справа не терпить зволікання"; "Усі види перевезень, окрім морських, регулюються імперативними нормами" тощо. Вказівка в судженні на те, що воно є винятковим, досягається за допомогою таких слів: "окрім", "за винятком", "якщо не брати до уваги" і т. д

Cудження класифікуються за кількістю та якістю:

1. Загальноствердні судження — це судження за кількістю загальні, а за якістю ствердні. Наприклад: "Усі студенти складають екзамени"; "Всі договори є угоди". Формула загальноствердного судження: Всі S є Р.

Загальноствердні судження прийнято позначати літерою А (перша літера латинського слова affizmo — стверджую).

2 Загальнозаперечні судження — це судження за кількістю загальні, а за якістю заперечні. Наприклад: "Жодне явище не існує ізольовано від інших явищ". Формула загальнозаперочного судження: Жодне S не є Р. Загальнозаперечні судження позначають літерою Е (перший голосний латинського слова negо -— заперечую).

3. Частковоствердні судження — це судження за кількістю часткові, а за якістю ствердні. Наприклад: "Деякі студенти — відмінники"; "Деякі злочини здійснюються з необережності". Формула частковоствердного судження: Деякі S є Р.

Позначаються ці судження літерою І (другий голосний латинського слова affizmo).

4. Частковозаперечні судження —це судження за кількістю часткові, а за якістю заперечні. Наприклад:

"Деякі майнові відношення не регулюються цивільним правом". Формула частковозаперечного судження: Деякі S не є Р.

Позначаються ці судження літерою О (другий голосний латинського слова negо).

Розподіленість термінів у судженнях

Як наголошувалося раніше, суб'єкт і предикат судження називаються термінами. Кожен термін у судженні розподілений або не розподілений. Знання правил розподіленості термінів у судженнях необхідне при аналізі умовиводів.

1. Якщо термін судження повністю включається до обсягу іншого терміна або повністю виключається з нього, то він розподілений.

2. Якщо термін судження частково включається до обсягу іншого терміна або частково виключається з нього, то він розподілений.

При розподіленості терміна в судженні говориться про всі предмети, про увесь клас. Якщо ж термін у судженні не розподілений, то це означає, що у судженні йдеться не про всі, а лише про деякі предмети класу, виражені цим терміном, про деяку частину цього класу.

Існують такі правила розподіленості термінів у судженнях:

1. а) У загальноствердних судженнях, в яких обсяг терміна S повністю включається до обсягу Р (рис. 14), S - розподілене, а P - не розподілене.

Розглянемо це правило на такому прикладі: "Усі метали є провідниками електрики" ("Всі S є Р"). Оскільки обсяг суб'єкта цього судження (поняття "метал") цілком включається до обсягу предиката (поняття "провідник електрики"), то S тут розподілене, а Р — не розподілене. У цьому судженні йдеться про всі метали, але не про всі провідники електрики. Обсяг предиката (Р) у таких судженнях (рис. 14) не вичерпується обсягом суб'єкта (S).

б) У тих же загальноствердних судженнях, у яких обсяг суб'єкта є одним і тим же (рис. 15), розподілений не тільки суб'єкт (S), а й предикат (Р). До загальноствердних суджень, у яких розподілені S і Р, відносяться судження- означення і судження із виділяючим суб'єктом.

Рис. 14 Рис. 15

2. У загально заперечних судженнях суб’єкт і предикат розподілені. Наприклад, у судженні "Жодний із доказів не повинен братися на віру" ("Жодне S не є Р") обсяг суб'єкта (поняття "доказ") повністю виключається із обсягу предиката ("братися на віру"), тому обидва терміни (S і Р) тут розподілені (рис. 16).

Рис. 16

3. У частковоствердних судженнях ми маємо два випадки

а) У частковоствердних судженнях, у яких обсяг суб'єкта частково включається до обсягу предиката (рис. 17), S і Р не розподілені. Наприклад: "Деякі студенти — відмінники" ("Деякі S є Р"). У цьому судженні і суб'єкт (поняття "студенти"), і предикат (поняття "відмінники") не розподілені, оскільки обсяг одного терміна лише частково включається до обсягу другого.

б) У частковоствердному судженні, в якому обсяг предиката повністю включається до обсягу суб'єкта (рис. 18), S — розподілене, а Р — не розподілене. Наприклад, у судженні "Деякі злочини є посадовими" ("Деякі S є Р") обсяг предиката ("посадові злочини") повністю включається до обсягу суб'єкта ("злочини"), тому Р тут розподілене, а S — не розподілене.

Рис. 17 Рис. 18 Рис. 19

4. У частковозаперечних судженнях суб'єкт не розподілений, предикат розподілений, або в цих судженнях обсяг S частково виключається із обсягу Р (рис. 19). Наприклад, у судженні "Деякі студенти не є відмінниками" ("Деякі S не є Р") суб'єкт ("студенти") не розподілений, оскільки його обсяг частково виключається із обсягу предиката ("відмінники"), а предикат розподілений.

Логічні змінні та логічні постійні

У формулах, за допомогою яких виражають структуру суджень, одні знаки є постійними, а другі — змінними. Щоб з'ясувати, що таке ті й інші, розглянемо ряд прикладів. Візьмемо такі три судження:

Деякі студенти є відмінниками.

Деякі письменники є лауреатами.

Деякі угоди є односторонніми.

Якщо виразити структуру кожного з цих суджень у