д, "Все кити живуть у воді" або "Всі люди - розумні істоти". Логічна форма общеутвердітельного судження, записана мовою логіки предикатів:. Ставлення суб'єкта і предиката (які називаються в атрибутивних судженнях термінами судження) у общеутвердітельних судженнях може відбиватися схемами (Рис. 1): В
Рис. 1
які показують, що суб'єкт в будь-якому випадку в повному обсязі включається до предикат, не співпадає або збігаючись з ним.
Повне включення одного терміна атрибутивного судження в інший, а також повне виключення одного терміна з іншого називається распределенностью терміна. Можна також сказати, що розподіленість терміна - це повнота інформації, що міститься в судженні щодо обсягу цього терміна. Так, общеутвердітельное судження містить інформацію про весь обсяг його суб'єкта, і він є розподіленим, предикат ж общеутвердітельного судження не розподілений, оскільки його обсяг може бути не включений повністю в обсяг суб'єкта (ліва схема).
Общеотріцательное судження (Е) має вигляд: Жодне S не є Р. Наприклад, "Жоден кит не живе на суші", "Жодне непарне число не ділиться на 2 ". Логічна форма общеотріцательного судження, записана мовою логіки предикатів:
Ставлення суб'єкта і предиката в общеотріцательних судженнях може відбиватися схемами (рис. 2):
В
Рис. 2
з яких видно, що кожен з термінів повністю виключений з іншого або, кажучи інакше, судження містить інформацію про весь обсяг суб'єкта і про весь обсяг предиката, і тому обидва терміни є розподіленими.
Частноутвердітельное судження (I) має вигляд: Деякі S суть Р. ("Деякі ссавці живуть у воді", "Деякі метали електропровідні "," Деякі лікарі - хірурги ".) Логічна форма частноутвердітедьного судження, записана мовою логіки предикатів:
Відносинам суб'єкта і предиката в частноутвердітельних судженнях відповідають схеми (рис. 3):
В
Рис. 3
Якщо розглянути всі схеми, видно, що суб'єкт і предикат в Частноутвердітельное судженні з необхідністю тільки частково включаються один в іншій, судження дає інформацію лише про частину обсягів своїх суб'єкта і предиката, тобто вони обидва не розподілені.
Частноотріцательное судження (О) має вигляд: Деякі S НЕ суть Р. Наприклад, "Більшість ссавців не є морськими тваринами" або "Деякі іменники іноземного походження в російській мові не схиляються ". Логічна форма приватно-негативного судження, на мові логіки предикатів записується так:
Відносинам суб'єкта і предиката в частноотріцательних судженнях відповідають схеми (рис. 4):
В
Рис. 4
Предикат в частноотріцательние судженні вважається розподіленим на тій підставі, що повністю виключений з тієї частини суб'єкта, про яку йде мова, а суб'єкт - нерозподіленим.
Одиничні судження - ті, в яких суб'єкт є одиничним поняттям, мають вигляд: а є Р - одинично-стверджувальне - або а не є Р - ...
