设有下列公式,请问哪个不是永真蕴涵式?(）
A: P∧Q=>P
B: P∧Q=>P∨Q
C: P=> P∧Q
D: P∧ (P→Q)=>Q
A: P∧Q=>P
B: P∧Q=>P∨Q
C: P=> P∧Q
D: P∧ (P→Q)=>Q
举一反三
- 以下推理错误的是（ ） A: P,P→Q => Q B: ┓Q,P→Q => ┓P C: Q,P→Q => P D: ┓P,P→Q => ┓Q
- 设有下列公式,请问哪几个是永真蕴涵式?__________. (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
- 下列命题公式中,不是永真式的有()。 A: p(pq)q B: p(pq) C: p (p q) D: p(pq)q
- 对于命题p、q，下列 不是永真式。 A: (p∧q)→p B: ¬(p→q) →p C: (¬q∧(p→q)) →¬p D: (p∨q)→q
- 下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)