命题公式的任意两个不同极小项的合取式一定为（）。
A: 永真式
B: 永假的
C: 可满足的
D: 不确定
A: 永真式
B: 永假的
C: 可满足的
D: 不确定
举一反三
- 命题公式(PÙQ）®P是( ) A: 永真式 B: 永假式 C: 可满足式 D: 合取式
- 假设A公式有n个命题变项，则[img=18x19]17de61bcba87c4d.png[/img]个全体极大项的合取、[img=18x19]17de61bcba87c4d.png[/img]个全体极小项的析取式必为( ) A: 永真式、永真式 B: 永假式、永假式 C: 永真式、永假式 D: 永假式、永真式
- 命题公式(p∧(p→q))→q是 A: 永假式 B: 非永真式的可满足式 C: 永真式 D: 等价式
- ┐(┐p∨q)∧q 是( ). A: 永真式 B: 永假式 C: 非永真式的可满足式 D: 无法确定公式类型
- 永假式的否定一定是（ ） A: 永真式 B: 永假式 C: 可满足式 D: 矛盾式