题目内容

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

A. 对
B. 错

查看答案
更多问题

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

A. 对
B. 错

“苏格拉底三段论”以下命题符号化过程是正确的。设: H(x):x是人; M(x):x是要死的; s:苏格拉底。则推理形式结构为:(∀x)(H(x)→M(x))∧H(s)蕴含M(s)。

A. 对
B. 错

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x)) P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)T(2)I(8)R(c)∧Z(c)T(6)(7)I(9)∃x(R(x)∧Z(x))EG(8)本例中一定要把⑴,⑵写在⑶,⑷的前面,因为存在指定以后一定满足全称指定,否则不一定满足。也就是说同一个体变元存在指定一定要先于全称指定。

A. 对
B. 错

下列谓词公式是等价的有()。

A. ┐∀xA(x)⇔∃x┐A(x)
B. ┐∃xA(x)⇔∀x┐A(x)
C. ┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))
D. ┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))

答案查题题库