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