命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。
A: 矛盾式
B: 重言式
C: 可满足式
D: 永假式
A: 矛盾式
B: 重言式
C: 可满足式
D: 永假式
B
举一反三
内容
- 0
给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 1
已知公式￢（q→p）∧p是矛盾式，则公式￢（q→p）∧p∧￢r 的成假赋值有多少个？
- 2
（P∧Q）→（￢Q→R））是永假式
- 3
命题公式P→(Q∨P)是 A: 矛盾式 B: 可满足式 C: 重言式 D: 等价式
- 4
请判断命题公式p∨q∧r→p∧r的类型 A: 重言式(永真式) B: 矛盾式(永假式) C: 非永真的可满足式 D: 无法判定