, 则这三个多项式P(),Q(),R()的公共根为(
).
A: x=1
B: x=0
C: x=-1
D: x=2
举一反三
- 用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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)
- 令P：3>－2；Q(x)：x≤3；R(x)：x>5；a：3；个体域{－2，3，5，6}； 则谓词公式∀x(P→Q(x))∨R(a)的真值= 。
- 用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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
- 设P={x|x2—4x+3<0}，Q={x|x(x-1)>2}，则P∩Q等于（） A: {x B: x>3} C: {x D: -1 E: {x F: 2 G: {x H: 1
- 使用下述谓词：P(x): x是语言、Q(x): x是中间语言、R(x): x是世界通用的，及量词表示自然语句“没有语言是世界通用的话，就至少有一种中间语言存在”为（ ）。A.~($x)(P(x) Þ R(x)) Þ ($x) Q(x)B.~($x)(P(x)∧R(x)) ∧ ($x) Q(x) C.~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D.~($x)(P(x)∧R(x)) Þ ($x) Q(x) A: ~($x)(P(x) Þ R(x)) Þ ($x) Q(x) B: ~($x)(P(x)∧R(x)) ∧ ($x) Q(x) ~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D.~($x)(P(x)∧R(x)) Þ ($x) Q(x) C: ~($x)(P(x) Þ R(x)) ∧ ($x) Q(x) D: ~($x)(P(x)∧R(x)) Þ ($x) Q(x)
内容
- 0
设P={x|x＞0}，Q={x|-1＜x＜2}，那么P∩Q=（ ）
- 1
在指定的解释下，下列公式为真的是() A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
- 2
谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 3
前提：∀x(P(x)→Q(x))，∃xP(x) ⇒∃xQ(x) (1)∀x(P(x) → Q(x)) 前提 (2) ∃xP(x) 前提 (3) P(c) (2), Es规则 (4)P(c)→Q(c) (1), Us规则 (5) Q(c) (3)(4), 假言推理I (6)∃xQ(x) (5), Eg规则 上述推理过程是否正确？
- 4
构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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: 错误