请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.与公式("x)(P(x)∧Q(x,y))Þ($x)R(x,y)等值的是（）。 选项： A、("x)(P(x)∧Q(x,z))Þ($x)R(x,y) B、("y)(P(y)∧Q(y,y))Þ($x)R(x,y) C、("z)(P(z)∧Q(x,y))Þ($x)R(x,y) D、("u)(P(u)∧Q(u,z))Þ($x)R(x,z)
- 2.把下列谓词公式分别化为相应的子句集： (1)( ?z)( ?y)(P(z，y)∧Q(z，y)) (2)( ?x)( ?y)(P(x，y)→Q(x，y)) (3)( ?x)( ?y)(P(x，y)∨(Q(x，y)→R(x，y))) (4)( ?x)( ?y)( ?z)(P(x，y)∨Q(x，y)∨R(x，z)) (5)( ?x)( ?y)( ?z)( ?u)( ?v)( ?w)(p(x，y，z，u，v，w)∧(Q(x，y，z，u，v，w)∨～R(x，z，w)))
- 3.以下哪几项是前束范式？ 选项： A、(∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B、(∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C、(∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D、(∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))
- 4.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)换名，正确的是（） 选项： A、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y) B、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) C、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) D、∀x∀u(P(x,u)∨Q(u,z))∧∃xP(x,y)
- 5.对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式为 选项： A、∀x(P(x,y) →Q(x,z)) ∨∃vR(x,v) B、∀u(P(u,y) →Q(u,z)) ∨∃zR(x,z) C、∀u(P(u,y) →Q(u,z)) ∨∃vR(x,v) D、∀u(P(u,y) →Q(u,z)) ∨∃vR(u,v)
- 6.( )不是有效的推理。 选项： A、前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论：P(a) B、前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ C、前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x)) D、前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论：("x)(R(x)∧S(x)) E、前提：("x)($y)P(x, y)结论：("x)($y)($z)(P(x, y)∧P(y, z)) F、前提：("x)P(x)∨("x)Q(x)结论：("x)(P(x)∨Q(x)) G、前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x))结论：($x)F(x)Þ($x)G(x) H、前提：("x)(H(x)ÞM(x))结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
- 7.【判断题】对(?x)(P(y)∧R(x,y))→(?y)Q(y) 中的自由变元进行代入，则表示为：(?x)(P(z)∧R(x,y))→(?y)Q(y)。
- 8.谓词公式(∀x)(P(x)⋁(∃y)R(y))→Q(x)中量词(∀x)的辖域是：选项： A:(∀x)(P(x)⋁(∃y)R(y)); B:P(x); C:(P(x)⋁(∃y)R(y)); D:P(x)，Q(x)
- 9.公式¬∃x(¬P(u, x)→∀yQ(y))的前束范式是（ ）。选项： A:∀x∃y (¬P(u, x)∧¬Q(y)) B:∀x∀y (¬P(u, x)∧¬Q(y)) C:∀x∃y (¬P(u, x)→Q(y)) D:∀x∀y (¬P(u, x)→Q(y))
- 10.下面公式（）不是谓词公式 选项： A、P B、P（x）∨Q（y）→R（x） C、∀P（x）∧R（x，y） D、∀x（R（x）→P（x，y））
- 11.指出下列关系模式是第几范式？并说明理由。① R（X，Y，Z） F={XY→Z}① R（X，Y，Z） F={Y→Z，XZ→Y}① R（X，Y，Z） F={Y→Z，Y→X，X→Y ， X→ Z}① R（X，Y，Z） F={X→Y，X→Z}① R（W，X，Y，Z） F={X→Z，WX→Y}
- 12.谓词公式("x)(("y)Q(y) Þ P(x))的前束范式是( )。选项： A:"x"y(Q(y) Þ P(x)); B:"x$y(Q(y) Þ P(x)); C:$x"y(Q(y) Þ P(x)); D:$x$y(Q(y) Þ P(x))
- 13.【单选题】公式( x)P(x)→( x)Q(x)的前束范式为()。 A. ( x)( y)(P(x)→Q(y)) B. ( x)( y)(P(x)→Q(y)) C. ( x)( y)(P(x)→Q(y)) D. ( x)( y)(P(x)→Q(y))
- 14.指出下列关系模式是第几范式?并说明理由。(1)R(X,Y,Z), F={XY→Z}(2)R(X,Y,Z), F={Y→Z,XZ→Y}(3)R(X,Y,Z), F={Y→Z,Y→X,X→YZ}(4)R(X,Y,Z), F={X→Y,X→Z}
- 15.下列孔加工固定循环指令格式中，属于螺纹加工的指令代码是（ ）。选项： A:G73 X Y Z R Q F B:G74 X Y Z R P F C:G81 X Y Z R F D:G84 X Y Z R P F
- 16.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）=( ) 选项： A:P(x) ∨Q(x); B:P(a) ∨Q(x); C:Q(x) ∨R(y); D:Q(a) ∨R(y)
