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

[名词解释] 重言式

[单选题]在真值表检验中，目的是要给给定论证建立一个（）。A . 有效性B . 论证者C . 真值表D . 间接证明

[单选题]下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ

[填空题] 谓词逻辑中，重言式（tautlogy）的值是（）。

[判断题] 构造真值表时，不需要考虑简单命题的数量。A . 正确B . 错误

[名词解释] 真值表

[单选题]要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。A . 矛盾B . 命题C . 结论D . 前提

[判断题] 要检验一个命题是否蕴涵另一个命题，只是需要看推导过程是否有矛盾。（）A . 正确B . 错误

[单选题]真值表可以用来判定（）。A . 蕴涵与有效性B . 等值C . 重言式与矛盾式D . 以上都对

[主观题]画出NOT,NAND,NOR的符号，真值表，还有transistor level的电路。（Infineon笔试