永假式的否定一定是（ ）
A: 永真式
B: 永假式
C: 可满足式
D: 矛盾式
A: 永真式
B: 永假式
C: 可满足式
D: 矛盾式
举一反三
- 可满足式的否定是( )。 A: 永真式 B: 永假式 C: 可满足式 D: A,B,C都可能
- 【单选题】请判断命题公式 p∨q∧r→p∧r的类型 A 重言式(永真式) B 矛盾式(永假式) C 非永真的可满足式 D 无法判定 A. 重言式（永真式） B. 矛盾式（永假式） C. 非永真的可满足式 D. 无法判定
- 如果命题公式A不是永假式（或矛盾式），则A一定是一个可满足式。
- 命题公式(p∧(p→q))→q是 A: 永假式 B: 非永真式的可满足式 C: 永真式 D: 等价式
- 假设A公式有n个命题变项，则[img=18x19]17de61bcba87c4d.png[/img]个全体极大项的合取、[img=18x19]17de61bcba87c4d.png[/img]个全体极小项的析取式必为( ) A: 永真式、永真式 B: 永假式、永假式 C: 永真式、永假式 D: 永假式、永真式