Условие задачи
Установить, какие из следующих предикатов истинны, а какие ложны, при условии, что область определения предикатов M совпадает с ℤ:
1) ∀x((x2-6x+8≥0)∨(x2-6x+8<0));
2) ∃x(x2+x+0,5=0).
Ответ
Одноместный предикат, на который навешен квантор по свободной переменной это высказывание (возможно, конечно рассматривать высказывания как нульместные предикаты).
1) Высказывание x((x2-6x+...