谓词逻辑中，重言式（tautlogy）的值是（）。

[名词解释] 重言式

[单选题]下列命题公式中为重言式的是Ⅰ．((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．Ⅰ、Ⅱ、Ⅲ和Ⅳ

[单选题]用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。A . 重言式B . 矛盾式C . 真值列D . 真值行

[名词解释] 谓词逻辑

[问答题] 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？

[单选题]下面的谓词公式是有效式的是( )。A．Ⅰ和ⅡB．只有ⅡC．只有ⅢD．只有Ⅰ

[单选题]下面的谓词公式是有效式的是A．Ⅰ和ⅡB．只有ⅡC．只有ⅢD．只有Ⅰ

[问答题] 命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

[名词解释] 重言

[填空题] 一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）