определить тип предиката

[Способный]

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

[gefest_md]

Способный писал(а):

...Если это n-местный предикат, то чему равно n?...

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

[Способный]

gefest_md писал(а):

Способный писал(а):

...Если это n-местный предикат, то чему равно n?...

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

Спасибо