Задачи. 1. Привести к стандартной форме Скулема формулы

1. Привести к стандартной форме Скулема формулы:

а) "x (A(х, y) &"y B(x, y)); б) $x"y " z$ u A(х, y, z, u)Ú $yB(x, y, z); в) "x$y A(x, y) & " x$ z Ø B(х, y, z); г) " x$y A(x, y, z) ® Ø $ x"y B (х, y, u); д) "x"y (Р(х, y) & Q(x)) ® $ yR(x, y, z); е) Ø $x "y $ z "u R (х, y, z, u) ® $ z C(z)); ж) "x$y Ø A (x, y) & $ x" z B (х, y, z); з) $xØ"y A(x, y, z) ® $ x"y B (х, y).

Эрбрановский универсум и базис.