Відношення підпорядкування
У відношенні підпорядкування знаходяться такі пари суджень: A(SP) - I(SP), E(SP) - O(SP). Загальні судження (А, Е) називають підпорядковуючими, а часткові (І, О) - підпорядкованими.
Відношення підпорядкування існує у всіх можливих випадках значень їх істинності, крім одного - коли загальне є істинним, а часткове - хибним. У таблиці це можна подати так:| A(SP), E(SP) | I(SP), O(SP) |
| 1 | І |
| O | 1 |
| O | O |
З таблиці видно, що:
1) 3 істинного загального судження (А, Е) завжди випливає істинне часткове (підпорядковане -1, О). Наприклад, “Жоден прокурор не є адвокатом” - “Деякі прокурори не є адвокатами”.
2) Якщо загальне є хибним, то часткове може бути й істинним, і хибним. Наприклад, “Усі люди - юристи” (А, хибне) - “Деякі люди - юристи” (І, істинне); “Усі люди - безсмертні” (А, хиба) - “Деякі люди - безсмертні” (І, хиба).
3) Якщо підпорядковане (І, О) - істинне, то підпорядковуюче (А, Е) може бути і істинним, і хибним. Наприклад, “Деякі люди-злочинці” (І, істинне) - “Усі люди - злочинці” (А, хибне); “Деякі студенти- юристи вивчають логіку” (І, істинне) - “Усі студенти-юристи вивчають логіку” (А, істинне).
4) 3 хибного часткового судження завжди випливає хибне загальне. Наприклад, “Деякі судді не є юристами” - “Жоден суддя не є юристом”.
5) Неможливим є випадок, коли б загальне судження (А, Е) було істинним, а часткове (І, О) - хибним.
5.