Установить какие из следующих предикатов истинны

Опять неточность в формулировках (точнее не полная точность). Одноместный предикат, на который навешен квантор по свободной переменной — это высказывание (возможно, конечно рассматривать высказывания как нульместные предикаты).
1) Высказывание ∀xx2-6x+8≥0∨x2-6x+8<0 истинно на ℤ тогда и только тогда, когда одноместный предикат x2-6x+8≥0∨x2-6x+8<0 является тождественно-истинным на ℤ