9.1. Умозаключения из реляционных суждений

Умозаключения из реляционных суждений состоят только из суждений с отношениями. Логическая схема данного умозаключения выглядит следующим образом: a R b

Вывод по умозаключению из реляционных суждений признается правильным, если суждения в его посылках удовлетворяют хотя бы одному из следующих условий:

а) симметричности: х R y ↔ y R x;

б) рефлексивности: х R y ↔ ((х R x) ۸ (у R у));

в) транзитивности: ((х R y) ۸ (y R z)) ↔ х R z.

Пример:

В данном случае обе посылки удовлетворяют условию транзитивности. Следовательно, вывод правильный.