下面是"xC(x), $x(A(x)ÚB(x)), "x(B(x)®ØC(x)) Þ$xA(x)的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。⑴$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。