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

Умозаключение – форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение - заключение ( вывод умозаключение)
Посылка Заключение
Всякое умозаключение, как и всякое суждение имеет форму , которая может быть логически правильной или логически неправильной

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

Симметричность
Отношение называется симметричным (от гр. simmetria – « соразмерность» ), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения.
. равенство (если а равно b, то и b равно а),
. сходства (если с сходно с d, то и d сходно с с),
. одновременности ( если событие х произошло одновременно с событиями у, значит, и событие у произошло одновременно с событием х)
. различия и некоторые др.

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

Транзитивность
Отношение называется транзитивными (от латинского transitivus – «переход»), если оно имеет место между х и z и между у и z следует такое же отношение между х и z.
Транзитивными являются отношения:
. равенства (если а равно b то и b равно с, то а равно с),
. одновременности ( если событие х произошло одновременно с событием z),
. отношения «больше», «меньше» (а меньше b, b меньше c ), «позднее», «находиться севернее (южнее , восточнее, западнее)», «быть ниже, выше» и т.п.