请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.下列哪对公式是不可合一的。( ) 选项： A、P(a, b), P(x, y) B、P(f(x), b), P(y, z) C、P(f(x), y), P(y, f(b)) D、P(f(y), y, x), P(x, f(a), f(b))
- 2.与公式("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)
- 3.以下是合式公式∀x(P(x,y)→∃yQ(x,y,z))∧R(f(x,z))的原子公式的有( )选项： A:x B:P(x,y) C:f(x,z) D:R(f(x,z))
- 4.以下哪几项是前束范式？ 选项： 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))
- 5.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为 选项：A、∀x∀u(P(x,u)∨Q(u,z))∧∃tP(t,y) B、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) C、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) D、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
- 6.判断下列公式是否为可合一,若可合一,则求出其最一般合一。(1) P(a, b), P(x, y)(2) P(f(x), b), P(y, z)(3) P(f(x), y), P(y, f(b))(4) P(f(y), y, x), P(x, f(a), f(b))(5) P(x, y), P(y, x)
- 7.公式∀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)
- 8. (单选题)W={P(x,f(y,z)),P(x,a),P(x,g(h(k(x))))}的差异集为： 选项： A: {f(y,z),a,g(h(k(x)))} B: {a,g(h(k(x)))} C: {f(y,z),g(h(k(x)))} D: {f(y,z),a}
- 9.ls2-1-13、公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)换名后可以是（ ）。 选项： A、∀x∀u(P(x,u)∨Q(u,z))∧∃xP(x,y) B、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) C、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) D、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
- 10.表达式P(x,f(y),B)是一个谓词，如果用s1={z/x}，表示用z变量替换变量x,一般可以用：P(x,f(y),B)s1表示这样的替换，它的结果是P(x,f(y),B)s1=P(z,f(y),B)，替换是可以结合的，如s2={C/y},那么P(x,f(y),B)(s1s2)=P(z,f(y),B)s2=P(z,f(C),B)。按照这样的思路，如果s3={M/y},P(x,f(y),B)(s1s3)的结果是（ ）。 选项： A、P(z,f(y),B) B、P(z,f(x),B) C、P(z,f(C),B) D、P(z,f(M),B)
