%%R%% не рефлексивно тогда и только тогда, когда
$$ \exists a \in M~~a~\not\text{R }~a $$
%%R%% не симметрично тогда и только тогда, когда
$$ \exists a, b \in M~~ a~R~b \land b~\not\text{R }~a $$
%%R%% не транзитивно тогда и только тогда, когда
$$ \exists a, b, c \in M a~R~b \land b~R~c \land a~\not\text{R }~c $$
%%R%% не антисимметрично тогда и только тогда, когда
$$ \exists a, b \in M~~ a~R~b \land b~R~a \land a \neq b. $$
Здравствуйте! Мне непонятно, что обозначает знак / , наезжающий на букву. Никак не могу понять смысл. С уважением, Андрей Шутелев
Здравствуйте, Андрей Андреевич.
Данный симвовл обозначает, что отношение %%R%% не выполняется. Например, обозначив отношение «уважать» через %%R%%, оно записывается %%a~R~b%%, а отношение «не уважать» %%a\not\text{R }~b%%.
С уважением,
Валерий Алигорский.
Спасибо большое за ответ!