题目内容

1.A(x)是含x约束出现的公式，B中不含x的自由出现，以下等值式错误的是（）

A. $x(A(x)ÚB) Û $xA(x)ÚB
B. $x(A(x)ÙB) Û $xA(x)ÙB
C. $x(A(x)®B) Û $xA(x)®B
D. $x(B®A(x)) Û B®$xA(x)

查看答案

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

更多问题

补充完成下列求解前束范式的过程。"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. 错