【填空题】命题逻辑中基本永真蕴涵式的____在一阶逻辑中仍然为永真蕴涵式
举一反三
- A为任意命题公式，B为矛盾式，则A∧B是（ ） 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: 等价式
- 任何永真式的负命题都是
- 永假式的否定一定是（ ） A: 永真式 B: 永假式 C: 可满足式 D: 矛盾式