Умозаключения из суждений с отношениями

Умозаключением с отношениями называется умозаключение, посылки и заключение которого являются суждениями с отношениями.

Например:

Петр – брат Ивана

Иван – брат Сергея

Петр – брат Сергея

В этом примере посылки и заключение – суждения с отношениями.

Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых – симметричность, рефлексивность и транзитивность.

Отношение называется симметричным, если оно имеет место, как между предметами, так и между предметами х и у. Иначе, говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства, сходства, одновременности, различия и некоторые другие.

Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства и одновременности.

Отношение называется транзитивным, если оно имеет место между х и z, тогда, когда оно имеет место между х и у и между у и z. иначе говоря, отношение является транзитивным тогда и только тогда, когда из отношения между х и у и между х и у следует такое же отношение между х и у.

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