下列命题中,P是Q的什么条件?（1）P：x=1.Q:x-1=√x-1（2）P：|x-2|≥3,Q：-1≤X≤5（3）P：x=2,Q：x-3=√3-x（4）P：三角形是等边三角形,Q：三角形是等腰三角形写出下列命题,并判断真假1：PVQ,这里P：4∈｛2,3｝,Q：2∈｛2,3｝2：P∧Q,这里P：4∈｛2,3｝,Q：2∈｛2,3｝3：PVQ,这里P：2是偶数,Q：3不是素数4：P∧Q,这里P：2是偶数,Q：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规则 上述推理过程是否正确？

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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)

设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。

求不定积分[img=112x35]17da6538063a9e4.png[/img]； （ ） A: (x^4*log(x)^2)/4 + (x^4*(log(x) - 1/4))/ B: (x^4*log(x)^2)/4 - (x^4*(log(x) - 1/4))/8 C: (x^4*log(x)^2)/4 - (x^4*(log(x) - 1/4)) D: (x^4*log(x)^2)/4 + (x^4*(log(x) - 1/4))/8

设P={x|x＞0}，Q={x|-1＜x＜2}，那么P∩Q=（　　）

在指定的解释下，下列公式为真的是() 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}

(1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: （1）和（2） B: （1）和（3） C: （2）和（3） D: （2）和（4）

已知 x = { 1:1, 2:2 }，那么执行语句 x[2] = 4之后，x的值为( )。 A: { 1:1, 2:2 } B: { 1:1, 2:4 } C: { 1:1, 4:2 } D: { 1:1, 4:4 }

设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