⑴$x(A(x)ÚB(x))， ()

⑵A(a)ÚB(a) ()⑴

⑶"xC(x) ()

⑷C(a) ()⑶

⑸"x(B(x)→ØC(x)) ()

⑹B(a)→ØC(a) ()⑸

⑺ØB(a) ()⑷⑹I12

⑻A(a) ()⑵⑺I10

⑼$xA(x)) ()⑻

A.⑴P；⑵US；⑶T；⑷UG；⑸P；⑹UG；⑺P；⑻T；⑼UG。

B.⑴P；⑵T；⑶T；⑷UG；⑸P；⑹US；⑺P；⑻T；⑼ES。

C.⑴P；⑵ES；⑶P；⑷US；⑸P；⑹US；⑺T；⑻T；⑼EG。

D.⑴P；⑵EG；⑶T；⑷UG；⑸P；⑹UG；⑺P；⑻T；⑼EG。