单项选择题

在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。

A.正确
B.错误

你可能感兴趣的试题

单项选择题

自然演绎推理就是从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程。

A.正确
B.错误

自然演绎推理的逻辑基础主要包括：（）。

答案： A.等价式
B.永真蕴涵式
C.置换
D.合一
正确答案：等价式；永真蕴涵式；置换；合一