如果命题公式A不是永假式（或矛盾式），则A一定是一个可满足式。
举一反三
- 永假式的否定一定是（ ） A: 永真式 B: 永假式 C: 可满足式 D: 矛盾式
- 下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定
- 命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。 A: 矛盾式 B: 重言式 C: 可满足式 D: 永假式
- A为任意命题公式，B为矛盾式，则A∧B是（ ） A: 矛盾式 B: 永真式 C: 可满足式 D: 蕴涵式