任何永真式的负命题都是()
第1题:
第2题:
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
第3题:
根据命题形式所表示的真值函项的不同,则无数的命题形式可分为()
第4题:
具有可检验性的命题必须是()
第5题:
真值表可以用来判定()。
第6题:
以中国唐朝《永徽律》为蓝本的日本法典是()
第7题:
使用一次离合器即可换档的变速箱是()
第8题:
重言式的
模棱两可的
有岐义的
非A非B非C
第9题:
永真式
包孕式
空子句
第10题:
第11题:
第12题:
第13题:
宫永咲:“()真开心啊!”
第14题:
无论命题的变项取何值,命题的真值恒为真,这种命题成为:()
第15题:
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。
第16题:
重言式
第17题:
在删除策略归结的过程中删除以下子句:含有()的子句;含有永真式的子句;子句集中被别的子句类含的子句。
第18题:
《贞永式目》
第19题:
直流测速发电机按励磁方式可分为()式和永励式。
第20题:
永真式
永假式
可满足式子
A,B,C均有可能
第21题:
蕴涵与有效性
等值
重言式与矛盾式
以上都对
第22题:
重言式
矛盾式
真值列
真值行
第23题: