ПРИВЕТ!!!
вот еще одна если кому не лень
-------------------
вычислить значение формулы
------------------------------
# - квантор всеобщности
$ - квантор существования
------------------------------
#x$xP(x,y)>$x#xP(x,y)
------------------------------
если предикатP(x,y)имеет значение х меньше у
и орпределен для любых натуральных чисел х и y
----------------------------