УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ

– умозаключения, в которых посылки и заключение представляют собой суждения с отношениями родства, равенства, по степени, по величине, по времени и т. п. Они основываются на некоторых общих логических свойствах отношений (см.: Отношение типа равенства, Отношение симметричное, Отношение транзитивное, Отношение рефлексивное, Отношение функциональное и др.). Примерами таких умозаключений могут быть следующие:

1)

a = b

2)

a>b

b = c

b>c

a=c

a > с