1. Показать выведение формулы в счислении предикатов , используя аксиомы a1..a5

x [

]

[

x P(x)

x Q(x)]
2. G - система аксиом теории груп
Построить G |-

x

z

y x*y=z
Нужно формальное выведение формулы
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
(a1) Все тавтологии сигнатуры
(а2)A(t)


x A(x)
(a3)

x A(x)

A(t)
(a4)

x (A(x)

)

(

x

)
(a5)

x (B

)

(


x A(x)]
----------------------------------------------------------------------------

={*,e} // e = единица
G :
(G1)

x

y

z (x*y)*z=x*(y*z)
(G2)

x

y x*y=e & y*x=e
(G3)

x

y x*e=e*x=x
Зарание благодарность тем , кто сможет помочь