东北大学 / 离散数学
正确率：100%
下面是"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。
参考答案：
佳题速递：