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

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


Словарь логики 

T: 0.03140759 M: 1 D: 1