R не рефлексивно тогда и только тогда, когда
∃a∈M a ⧸R a
R не симметрично тогда и только тогда, когда
∃a,b∈M a R b∧b ⧸R a
R не транзитивно тогда и только тогда, когда
∃a,b,c∈Ma R b∧b R c∧a ⧸R c
R не антисимметрично тогда и только тогда, когда
∃a,b∈M a R b∧b R a∧a≠b.
Здравствуйте! Мне непонятно, что обозначает знак / , наезжающий на букву. Никак не могу понять смысл. С уважением, Андрей Шутелев
Здравствуйте, Андрей Андреевич.
Данный симвовл обозначает, что отношение R не выполняется. Например, обозначив отношение «уважать» через R, оно записывается a R b, а отношение «не уважать» a⧸R b.
С уважением,
Валерий Алигорский.
Спасибо большое за ответ!