请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.设D：全总个体域，P(x)：x是大学生，Q(x)：x是老师，L(x, y)：x敬畏y，则命题“所有大学生都敬畏某些老师”的逻辑符号化为（ ）。 选项： A、∀x(P(x) → L(x, y)) B、∀x(P(x) → ∃y(Q(y)∧L(x, y))) C、∀x∃y (P(x)∧Q(y)∧L(x, y)) D、∀x∃y (P(x)∧Q(y) → L(x, y))
- 2.下列各式哪式是成立的选项： A:(∀x)(P(x)∧Q) Û ( ∀x)P(x)∧ Q; B:($x)(P(x) ® Q(x)) Û ( ∀x)P(x) ® (∀x)Q(x); C:(∀x)(P(x)∧Q(x)) Û ( ∀x)P(x)∧(∀x)Q(x); D:(∀x)(P(x)∨Q(x)) Û ( ∀x)P(x)∨(∀x)Q(x)
- 3.以下谓词公式中，( )不是逻辑有效式。选项： A:($x) P(x)∨($x) Q(x) Þ ($x)(P(x)∨Q(x)); B:("x) P(x)∨("x) Q(x) Þ ("x)(P(x)∨Q(x)); C:($x) P(x)∨($x) Q(x) Û ($x)(P(x)∨Q(x)); D: ("x) P(x)∨("x) Q(x) Û ("x)(P(x)∨Q(x))
- 4.下列等价正确的是（） 选项： A: ∀x(P(x)∨(Q(x))∀xP(x)∨∀xQ(x) B: ∃x(P(x)∨Q(x))∃xP(x)∨∃xQ(x) C: ∀x(P(x)Q) ∀xP(x)Q D: ∃x(P(x)Q∃xP(x)Q
- 5.在指定的解释下，下列公式为真的是（ ） 选项： A、($x)(P(x)®Q(x)), P(x):x>2, Q(x):x=0, 论域:{3,4} B、("x)(P(x)→Q(x)), P(x):x>2, Q(x):x=0, 论域:{3,4} C、($x)(P(x)ÙQ(x)), P(x):x=1, Q(x):x=2, 论域: {1,2} D、("x)(P(x)ÚQ(x)), P(x):x=1, Q(x):x=2, 论域:{1,2}
- 6.与谓词演算公式( $x) ( P (x))Ú ( $y)( Q (x) )等价的公式是( )选项： A: ( "x) ( P (x)Ù Q (x) ) ; B:( "x) ( P (x)Ù ( "y) Q (y) ); C: ( $x) ( P (x)Ú Q (x) ) ; D:( $x) ( P (x)Ù Q (x) )
- 7.以下哪些是谓词公式？选项： A:P(x); B:﹁P(x)∧Q(x)←R(x); C:P(x)→Q(x); D:P(x)+Q(X)→Q(x)
- 8.( )不是有效的推理。 选项： 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) )
- 9.( x)(P(x)Q(x) )(( x)P(x)( x)Q(x) )为真。（ ） 选项： A:正确 B:错误
- 10.("x)（P(x)?Q(x)）?("x)（?P(x)úQ(x)）
- 11. ("x)（P(x)®Q(x)）Û ("x)（ØP(x) ÚQ(x)）
- 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)→Q(x)), ∃x(P(x)). 结论:∃x(Q (x)).。(6分) 证明 ①∃x(P(x)) 前提引入 ②P(a) ES① ③∀x(P(x)→Q(x)) 前提引入 ④____ US③ ⑤____ ②④假言推理 ⑥____ ⑤EG
- 14.与公式("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)
- 15.公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。选项： A:P(x); R(x, y); B: P(x)∧Q(x, A); R(x, y); C:P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y); D:P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
- 16.不成立解:因为(x)[P(x)Q(x)] (x)[~P(x)](x)Q( )
- 17.公式¬∃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))
- 18.把下列谓词公式化成子句集: (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))
- 19.(x)P(x)∨(x)Q(x)的前束范式是(x)(y)(P(x)∧Q(y))对吗
- 20.谓词公式(∀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)
