题目内容

自然推理系统的显著特点是没有公理,作为推理依据的只有推理规则。这似乎更符合人们日常思维的推理习惯,因此称为自然推理。常用的证明方法有( )。

A. 构造法
B. 反证法
CP准则
D. 演绎法

查看答案
更多问题

命题公式间的永真蕴涵关系满足____、____、____。

命题公式间的永真蕴涵关系是____关系。

所给的前提在证明过程中随时可以引用,称为____。

已经推出的公式在以后的证明过程中可以随时引用,称为____。

答案查题题库