判断公式 判别下列公式的类型。(1) Q∧¬ (¬P→(¬P∧Q))(2)(P→Q)∧¬P
A: (1)(2)均为永真式
B: (1)为永假式,(2)均为永真式
C: (1)为永假式,(2)均为可满足式
D: (1)(2)均为永假式
A: (1)(2)均为永真式
B: (1)为永假式,(2)均为永真式
C: (1)为永假式,(2)均为可满足式
D: (1)(2)均为永假式
C
举一反三
- 命题公式(p∧(p→q))→q是 A: 永假式 B: 非永真式的可满足式 C: 永真式 D: 等价式
- ┐(┐p∨q)∧q 是( ). A: 永真式 B: 永假式 C: 非永真式的可满足式 D: 无法确定公式类型
- 命题公式(PÙQ）®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式
- 请判断命题公式p∨q∧r→p∧r的类型 A: 重言式(永真式) B: 矛盾式(永假式) C: 非永真的可满足式 D: 无法判定
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定
内容
- 0
命题公式p∧┐(q→p)是永假式()
- 1
判断下列公式类型:(┐p∨q)∧(┐q∨r)∧(p∧┐r) A: 永真式 B: 矛盾式 C: 可满足式 D: 无法判断
- 2
命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。 A: 矛盾式 B: 重言式 C: 可满足式 D: 永假式
- 3
设有下列公式,请问哪几个是永真蕴涵式?__________. (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
- 4
（P∧Q）→（￢Q→R））是永假式