双蕴涵命题 pq 的等价式为：
A: (p->q)∧(q->p)
B: (┐p∨q)∧(┐q∨p)
C: (p∧q)∨(¬p∧¬q)
D: 另外 3 个都是
A: (p->q)∧(q->p)
B: (┐p∨q)∧(┐q∨p)
C: (p∧q)∨(¬p∧¬q)
D: 另外 3 个都是
D
举一反三
- 蕴涵命题 p→q 的等价式为： A: ¬p∨q B: 另外 3 个都是 C: ¬q→¬p D: ¬(p∧¬q)
- 假设关系P和Q具有相同的关系模式，以下所列出的等价式中，______是错误的等价式。 A: P∩Q=P-(P-Q) B: P∩Q=Q-(Q-P) C: P∪Q=P∪(Q-P) D: P∪Q=Q∪(Q-P)
- 根据蕴涵律，P®Q与下列哪个公式等价？ A: ﹁P∧Q B: P∧﹁Q C: ﹁P∨Q D: P∨﹁Q
- 下面哪一组命题公式不是等价的（ ） A: （P→Q）∧（Q→P），P<->Q B: ┐（P<->Q），（P∧┐Q）∨（┐P∧Q） C: P→（Q∨R），┐P∧（Q∨R） D: P→（Q∨R），（P∧┐Q）→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
内容
- 0
下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 1
下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 2
对于命题p、q，下列 不是永真式。 A: (p∧q)→p B: ¬(p→q) →p C: (¬q∧(p→q)) →¬p D: (p∨q)→q
- 3
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)
- 4
下列命题公式为矛盾式的是（ ）。 A: （p→q）∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)