题目内容

∀x P(x)∧∃yQ(x,y)整个谓词公式中。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现。

A. 对
B. 错

查看答案
更多问题

对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入,则表示为:(∀x)(P(z)∧R(x,y))→(∃y)Q(y)。

A. 对
B. 错

证明∀x(A(x)→B)⇔∃xA(x)→B。以下过程是正确的。证明∀x(A(x)→B)⇔∀x(┐A(x)∨B)⇔∀x┐A(x)∨B⇔┐∃xA(x)∨B⇔∃xA(x)→B。

A. 对
B. 错

任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。

A. 对
B. 错

存在指定规则说明:若个体域中存在一些个体满足谓词A,则至少有某个确定的个体c满足谓词A。

A. 对
B. 错

答案查题题库