Розділ IX. Судження

- стверджувальні і

- заперечувальні.

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

Наприклад, "Деякі міста більші столичних міст".

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

Наприклад, "Лейбніц не є ровесником Гегеля".

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

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

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

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

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

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

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

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

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

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

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

Для того, щоб перекласти судження з відношеннями на мову логіки предикатів необхідно виконати такі дії:

1. Замінити одиничні імена предметними константами, а загальні - предикатними константами.

2. Замінити кванторні слова відповідними кванторами.