Категоричним називається судження, в якому щось стверджується або заперечується в безумовній формі, незалежно від будь-яких обставин.
ASP відношення протилежності ESP
ISP відношення підпротилежності OSP
вс – відношення суперечності
Порівнюваними називаються такі атрибутивні судження, які мають однакові дескриптивні терміни (S i P), але відрізняються логічними термінами.
Непорівнюваними судженнями називаються такі атрибутивні судження, які мають різні дескриптивні терміни.
Сумісними є судження, які можуть бути одночасно істинними, але не можуть бути одночасно хибними.
Несумісними називаються судження, які не можуть бути одночасно істинними.
Суть відношення підпорядкування полягає у тому, що за умови істинності ASP (ESP) обов’язково буде істинним ISP (OSP), а за умови хибності ASP (ESP) судження ISP (OSP) можуть бути будь-якими.
Суть відношення протилежності полягає у тому, що судження ASP та ISP не можуть бути разом істинними. Одне з них, а то й обидва будуть хибними.
Відношення підпротилежності має місце між судженнями ISP та OSP. Вони можуть бути разом істинними, а хибними – ні.
Відношення суперечності передбачає, що з двох суперечливих суджень одне обов’язково буде істинними, а друге обов’язково буде хибним (між судженнями (АSP – OSP) та (ISP – ESP).