Указать тождественно истинный предикат.
(полное условие - в демо-файлах)
x² + y² < 0, x Є R, y Є R
(∀x) (x + 7y = 0), x Є R, y Є R
sin²x + cos²x = 1, x Є R
P(x) <=> Q(x)