Умозаключение, посылки и заключение которого являются суждениями с отношениями, называются умозаключением с отношениями.
Важнейшие свойства отношений - симметричность, рефлексив- J ность и транзитивность.
Отношение называется симметричным, если оно имеет место как между предметами х и у, так и между предметами у их (xRy —» yRx).
Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе {xRy -^ xRx a yRy).
Отношение называется транзитивным, если отношение между х и г имеет место, когда имеет место отношение между хиг/и между
Схема отношения транзитивности: (xRy л yRz) -^ xRz (см. учебник, гл. IV, §4).