分别指出由下列各组命题构成的“p或q”“p且q”“非p”形式的复合命题的真假.(1)p:4+3=7,q:5<4;(2)p:9是质数,q:8是12的约数;(3)p:1∈{1,2},q:{1,2};(4)p:={0},q:.
分别指出由下列各组命题构成的“p或q”“p且q”“非p”形式的复合命题的真假.(1)p:4+3=7,q:5<4;(2)p:9是质数,q:8是12的约数;(3)p:1∈{1,2},q:{1,2};(4)p:={0},q:.
必要条件假言推理的有效式是()1【(p←q)∧『p】→『q2(p←q)∧(q→p)3(p←q)∧(p→q)4【(p←q)∧『p】→『p A: 1 B: 2 C: 3 D: 4
必要条件假言推理的有效式是()1【(p←q)∧『p】→『q2(p←q)∧(q→p)3(p←q)∧(p→q)4【(p←q)∧『p】→『p A: 1 B: 2 C: 3 D: 4
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
构造下列命题的真值表。 (1)¬(P→Q)∧Q。 (2)(P→¬Q)→¬Q。 (3)P→Q∨R。 (4)P↔¬Q。 (5)((P∨Q)→R)↔S。
构造下列命题的真值表。 (1)¬(P→Q)∧Q。 (2)(P→¬Q)→¬Q。 (3)P→Q∨R。 (4)P↔¬Q。 (5)((P∨Q)→R)↔S。
化简下面的公式。<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∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P
设有下列公式,请问哪几个是永真蕴涵式?__________. (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P
与命题公式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)
设P:2+2=4,Q:地球静止不动。命题“若2+2=4,则:地球是静止不动的。”的符号化表示为【】。 A: P∧Q B: PàQ C: P«Q D: P∨Q
设P:2+2=4,Q:地球静止不动。命题“若2+2=4,则:地球是静止不动的。”的符号化表示为【】。 A: P∧Q B: PàQ C: P«Q D: P∨Q
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q) ∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P) A: 1-2-3-5 B: 1-2-5 C: 1-3-4-5 D: 1-3-5
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q) ∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P) A: 1-2-3-5 B: 1-2-5 C: 1-3-4-5 D: 1-3-5
设P:2是素数,Q:4是素数。命题“2或4是素数,这是不对的”,的符号化表示为【】。 A: P∧Q B: P→Q C: ┐(P∧Q) D: ┐(P∨Q)
设P:2是素数,Q:4是素数。命题“2或4是素数,这是不对的”,的符号化表示为【】。 A: P∧Q B: P→Q C: ┐(P∧Q) D: ┐(P∨Q)
