54. Розподіленість термінів атрибутивного судження.

Включення або невключения обсягу одного терміну до обсягу другого терміну визначає таке важливе для характеристики атрибутивних суджень відношення як "розподіленість термінів".

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

Розподілений термін позначається знаком (+), а нерозподілений - знаком ( - ).

55. Види логічних відношень між атрибутивними судженнями.

Усю множину суджень можна розділити на:

• порівнювані - атрибутивні судження, які мають однакові прості судження, але відрізняються логічними термінами.

• не порівнювані - атрибутивні судження у яких різні прості судження. 

Порівнювані судження у свою чергу поділяються на дві підмножини:

- сумісні судження -  судження, які можуть бути одночасно істинними, але не можуть бути одночасно хибними. (А – І).

- несумісні судження -  судження, які не можуть бути одночасно істинними (А – Е).

Між сумісними судженнями існують такі відношення:

- підпорядкування (загально- і частковостверджувальні, загально- і частковозаперечувальні). Суть його полягає в тому, що при істинності Asp (Esp) обов'язково буде істинним Isp (Osp), а при хибності Asp (Esp) судження Isp (Osp) можуть бути будь-якими.. Якщо ж хибним є Isp (Osp), то обов'язково хибними будуть Asp (Esp). При істинності Isp (Osp) судження Asp (Esp) можуть бути будь-якими.

- підпротивності (частковостверджувальне і частковозаперечувальне). Суть цього відношення полягає в тому, що судження Isp та Osp можуть бути разом істинними, а хибними - ні. В крайньому випадку одне з них буде істинним.

Між несумісними судженнями існують відношення:

- протиріччя (загальностверджувальне і частковозаперечувальне; загальнозаперечувальне і частковостверджувальне). Відношення протиріччя передбачає, що з двох суперечливих суджень одне обов'язково буде істинним, а друге обов'язково буде хибним

- протилежності (частково стверджувальне і частковозаперечувальне). Суть відношення противності полягає у тому, що судження Asp та Esp, не можуть бути разом істинними. В крайньому випадку одне з них обов'язково буде хибним, а то й обидва будуть хибними.

Значення дефініцій логічних відношень між атрибутивними судженнями необхідне при побудові безпосередніх умовиводів. 

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

56. Типологія суджень з відношеннями.

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

- стверджувальні -  судження з відношеннями, в якому стверджується, що предмети знаходяться у певному відношенні.

- заперечувальні - судження з відношеннями, в якому говориться про те, що предмети не знаходяться у певному відношенні.

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

- одинично-одиничні;

- одинично-загальні;

- одинично-часткові;

- загально-загальні;

- загально-одиничні;

- загально-часткові;

- частково-часткові;

- частково-загальні;

- частково-одиничні.