任何永真式的负命题都是()
第1题:
A、分解式
B、合成式
C、合主联谓式
D、重言式
第2题:
第3题:
全体小项合取式为()。
A、可满足式
B、矛盾式
C、永真式
D、A、B、C都有可能
第4题:
根据命题形式所表示的真值函项的不同,则无数的命题形式可分为()
第5题:
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
第6题:
第7题:
宫永咲:“()真开心啊!”
第8题:
A.永真式
B.包孕式(subsumed)
C.空子句
答案:C
第9题:
无论命题的变项取何值,命题的真值恒为真,这种命题成为:()
第10题:
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。