u01p22(2).wav u01p22q1.wav https://mooc1-api.chaoxing.com/phonedata/images/new_moren.pnghttps://mooc1-api.chaoxing.com/phonedata/images/new_moren.png

推理证明:(p→q)∧(r→s),(q→t)∧(s→u),Ø(t∧u),p→rÞØp

公式(p∧¬q)∨(¬p∧q)的成真赋值为 A: 00 B: 01 C: 10 D: 11

20.求下列公式的成真赋值：（1）Øp®q A: 00 B: 01 C: 10 D: 11

对公式∀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)

【单选题】已知一定量的某种理想气体,在温度为 T 1 与 T 2 时的分子最概然速率分别为 u p 1 和 u p 2 ,分子速率分布函数的最大值分别为 f ( u p 1 ) 和 f ( u p 2 ) .若 T 1 > T 2 ,则 A. u p 1 > u p 2 ， f ( u p 1 )> f ( u p 2 ) B. u p 1 > u p 2 ， f ( u p 1 )< f ( u p 2 ) C. u p 1 < u p 2 ， f ( u p 1 )> f ( u p 2 ) D. u p 1 < u p 2 ， f ( u p 1 )< f ( u p 2 )

( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t

公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)

"p∨q"为真的情况有: A: p=1,q=0 B: p=0,q=0 C: p=1,q=1 D: p=0,q=1