2014 dxdy logo

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

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




 
 определить тип предиката
Сообщение08.12.2008, 00:28 
Упростив предикатную формулу, определить тип (тождественно истинный, тождественно ложный, выполнимый, опровержимый) предиката балИзображение
заданного на множестве целых чисел. Построить отрицание этого предиката, не содержащего знака отрицания. Какие переменные являются в несвободными, а какие - связанные? Если это n-местный предикат, то чему равно n?
вобщем все решается, но возник вопрос по поводу Если это n-местный предикат, то чему равно n?

 
 
 
 Re: определить тип предиката
Сообщение08.12.2008, 01:43 
Аватара пользователя
Способный писал(а):
...Если это n-местный предикат, то чему равно n?...


n равно числу свободных переменных, то есть 2.

 
 
 
 Re: определить тип предиката
Сообщение08.12.2008, 02:33 
gefest_md писал(а):
Способный писал(а):
...Если это n-местный предикат, то чему равно n?...


n равно числу свободных переменных, то есть 2.

Спасибо :idea:

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


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