logo search

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

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

1)

a = b

2)

a>b

 

b = c

 

b>c

 

a=c

 

a > с