2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

 
 
 
 Re: Задачка по мат.логике
Сообщение13.05.2012, 21:28 
atomic в сообщении #570461 писал(а):
Ответ очевиден

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

 
 
 
 Re: Задачка по мат.логике
Сообщение13.05.2012, 21:37 
ответ, Да являются! только это надо написать в виде предикатов...но вот как написать...не знаю
случай а=b не рассматривался...

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

 
 
 [ Сообщений: 4 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group