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

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

Петр — брат Ивана Иван — брат Сергея

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

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

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

1. Отношение называется симметричным (от греческого sim-metria — «соразмерность»), если оно имеет место как между предме­тами х и у, так и между предметами у и х. Иначе говоря, перестанов­ка членов отношения не ведет к изменению вида отношения. Сим­метричными являются отношения равенства (если а равно Ь, то и Ь равно а), сходства (если с сходно с d, то и d сходно с с), одновремен­ности (если событие х произошло одновременно с событием у, зна­чит, и событие у произошло одновременно с событием х), различия и некоторые другие.

Отношение симметричности символически записывается:

XRy —> yRx.

2. Отношение называется рефлексивным (от латинского ге-flexio — «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а=Ь,тоа=аиЬ=Ь) и одновременности (если событие х про-

изошло одновременно с событием у, значит, каждое из них произо­шло одновременно с самим собой).

Отношение рефлексивности записывается:

Не нашли, что искали? Воспользуйтесь поиском: