Задачка по мат.логике

[atomic]

Help!!!
Такой вопрос: Являются ли предикаты "a<b" и "b<a" отрицанием друг друга?
Ответ очевиден, но как это написать...?

[farewe11]

atomic в сообщении #570461 писал(а):

Ответ очевиден

И каков же ответ? А ситуацию $a=b$ взяли во внимание?

[atomic]

ответ, Да являются! только это надо написать в виде предикатов...но вот как написать...не знаю
случай а=b не рассматривался...

[farewe11]

Можно, думаю, так записать:
$P(x) = x<b$;
$Q(x)=x>b$
$\neg P(a) = Q(a)$.
И это верно, по-вашему? То есть если одно число не меньше другого, то обязательно больше его?