蕴涵命题 p→q 的等价式为:
A: ¬p∨q
B: 另外 3 个都是
C: ¬q→¬p
D: ¬(p∧¬q)
A: ¬p∨q
B: 另外 3 个都是
C: ¬q→¬p
D: ¬(p∧¬q)
B
举一反三
- 双蕴涵命题 pq 的等价式为: A: (p->q)∧(q->p) B: (┐p∨q)∧(┐q∨p) C: (p∧q)∨(¬p∧¬q) D: 另外 3 个都是
- 命题公式(p∧(p→q))→q是() A: 矛盾式 B: 蕴涵式 C: 重言式 D: 等价式
- 根据蕴涵律,P®Q与下列哪个公式等价? A: ﹁P∧Q B: P∧﹁Q C: ﹁P∨Q D: P∨﹁Q
- 请判断复合命题式 ¬(p « q) 和(p∧ ¬q) ∨(¬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
内容
- 0
设有下列公式,请问哪几个是永真蕴涵式?__________. (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
下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 2
下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 3
下列命题公式为矛盾式的是( )。 A: (p→q)∨q B: ¬(p→q)∧q C: ¬p∧(p→q) D: ¬(p→q)
- 4
对于命题p、q,下列 不是永真式。 A: (p∧q)→p B: ¬(p→q) →p C: (¬q∧(p→q)) →¬p D: (p∨q)→q