任何永真式的负命题都是()
无论命题的变项取何值,命题的真值恒为真,这种命题成为:()A、协调式命题B、矛盾式命题C、永真式命题D、重复性命题
点击查看答案
根据命题形式所表示的真值函项的不同,则无数的命题形式可分为()A、永真式B、协调式C、矛盾式D、以上都有
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。A、重言式B、矛盾式C、真值列D、真值行
具有可检验性的命题必须是()A、重言式的B、模棱两可的C、有岐义的D、非A非B非C
重言式
真值表可以用来判定()。A、蕴涵与有效性B、等值C、重言式与矛盾式D、以上都对
在删除策略归结的过程中删除以下子句:含有()的子句;含有永真式的子句;子句集中被别的子句类含的子句。