Словарь логики - умозаключения из суждений с отношениями

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