用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
(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)
(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)
已知多项式a(x)=x^3+6x+2,b(x)=〖2x〗^2+6x+8,要完成两个多项式相加、相乘和相除(a(x))/(b(x))的运算,则以下哪个程序正确( ) A: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) E=deconv(a,b) B: a= [1 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b) C: a= [1 0 6 2]; b= [2 6 8]; C=a+(0,b) D=conv(a,b) [q,r]=deconv(a,b) D: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b)
已知多项式a(x)=x^3+6x+2,b(x)=〖2x〗^2+6x+8,要完成两个多项式相加、相乘和相除(a(x))/(b(x))的运算,则以下哪个程序正确( ) A: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) E=deconv(a,b) B: a= [1 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b) C: a= [1 0 6 2]; b= [2 6 8]; C=a+(0,b) D=conv(a,b) [q,r]=deconv(a,b) D: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b)
求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)
求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)
已知:(1 ) p→q (2)q V r 请问:P与r是什么关系
已知:(1 ) p→q (2)q V r 请问:P与r是什么关系
化简下面的公式。<br/>(1)P∨(﹁P∨(Q∧﹁Q))<br/>(2)(P∧Q∧R)∨(﹁P∧Q∧R)<br/>(3)((P→Q)↔(﹁Q→﹁P))∧R<br/>(4)((P→Q)↔(﹁Q→﹁P))∨R
化简下面的公式。<br/>(1)P∨(﹁P∨(Q∧﹁Q))<br/>(2)(P∧Q∧R)∨(﹁P∧Q∧R)<br/>(3)((P→Q)↔(﹁Q→﹁P))∧R<br/>(4)((P→Q)↔(﹁Q→﹁P))∨R
以下推理过程是正确的。( )(1) p P规则(2) p®(Øq®r) P规则(3) Øq®r (1)(2),假言推理
以下推理过程是正确的。( )(1) p P规则(2) p®(Øq®r) P规则(3) Øq®r (1)(2),假言推理
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?(1)(P∨Q)→R (2)(P∧Q)→R(3)(P→Q)→R (4)P→(Q∨R)
与命题公式P→(Q→R)等值的公式是下列4个中的哪一个?(1)(P∨Q)→R (2)(P∧Q)→R(3)(P→Q)→R (4)P→(Q∨R)
使用真值表法判断下列推理是否正确(1) ¬p,p ∨ q ⇒ p ∧ q(2) ¬q ∧ r,r ∧ p,q ⇒ p ∨¬q
使用真值表法判断下列推理是否正确(1) ¬p,p ∨ q ⇒ p ∧ q(2) ¬q ∧ r,r ∧ p,q ⇒ p ∨¬q
利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I
利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I