请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.公式¬∃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))
- 2.【单选题】一阶逻辑公式 " xP(x) ® $ yQ(y) 的前束范式是 A. " x $ y(P(x) ® Q(y)) B. Ø " xP(x) ∨ $ yQ(y) C. " x $ y Ø P(x) ∨Q(y) D. $ x $ y(P(x) ® Q(y))
- 3.与公式("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)
- 4.与公式("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)
- 5.把下列谓词公式化成子句集: (1) ( x)( y)(P(x, y) ∧ Q(x, 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))
- 6.公式∀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)
- 7.( )不是有效的推理。 选项： 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) )
- 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(x)∨∃yR(y)))→Q(x)∧R(x)中量词∀x的辖域是 . 选项： A、P(x)∨∃yR(y) B、P(x) C、(P(x)∨∃yR(y))→Q(x) D、(∀x(P(x)∨∃yR(y)))→Q(x)∧R(x)
- 10.公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是（P(x)→R(x))∧($y)Q(x,y) 。选项： A:正确; B:错误
- 11.谓词公式"x(P(x)Ú$yR(y))®Q(x)中量词"x的作用域是选项： A:"x(P(x)Ú$yR(y)); B:P(x)Ú$yR(y); C:P(x); D:P(x),Q(x)
- 12.对公式∀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)
- 13.下面公式（）不是谓词公式 选项： A、P B、P（x）∨Q（y）→R（x） C、∀P（x）∧R（x，y） D、∀x（R（x）→P（x，y））
- 14.对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代入，则表示为： (∀x)(P(z)∧R(x,y))→(∃y)Q(y)
- 15.公式∀x∀y(P(x,y)˄Q(x,y)→P(x,y))的类型是____。(注:填矛盾式或永真式)
- 16.∀x P(x)∧∃yQ(x,y）整个谓词公式中只有一个量词。∀x的辖域为P(x)，P(x)中的x和Q(x,y) 中的y是约束变元，Q(x,y)中的x是自由变元
