用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。

在真值表检验中，目的是要给给定论证建立一个（）。

单选题查看答案

用真值表确定下列各种判断间关系，并回答：A与B是否矛盾，A与C是否等值。 A：ˉp∨q（注：∨表示不相容） B：p→ˉq C://ˉp←→ˉq 由表可知：（）。

填空题查看答案

构造真值表时，不需要考虑简单命题的数量。

判断题查看答案

重言式

名词解析查看答案

要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。

单选题查看答案

要检验一个命题是否蕴涵另一个命题，只是需要看推导过程是否有矛盾。（）

判断题查看答案

用真值表方法回答：丁的话是否成立，为什么？甲：只有小王不上场，小李才上场。乙：如果小王上场，则小李上场。丙：小王上场，当且仅当小李上场。丁：甲、乙、丙的话不能都对。

简答题查看答案

真值表可以用来判定（）。

单选题查看答案

真值表

名词解析查看答案