题目内容

补充完成下列求解前束范式的过程。"xF(x)®$y(G(x,y)ÙH(x,y))Û "xF(x)®$y(G(z,y)ÙH(z,y)) 规则Û (F(x)®$y(G(z,y)ÙH(z,y)) 辖域收缩扩张规则Û (F(x)®(G(z,y)ÙH(z,y))) 辖域收缩扩张规则

查看答案

搜索结果不匹配？点我反馈

更多问题

设D ={a1, a2,…, an}，则"xA(x)ÛA(a1)∨A(a2)∨…∨A(an)。

A. 对
B. 错

Ø"x(F(x)®G(x))Û $xØ(F(x)®G(x))。

A. 对
B. 错

"x(A(x) ∨B(x)) Û "xA(x) ∨"xB(x)

A. 对
B. 错

确定以毛泽东为代表的马克思主义正确路线在中共中央领导地位的是( )

A. 遵义会议
B. “八七”会议
C. 中共“一大”
D. 瓦窑堡会议