单项选择题

置换可以简单的理解为在一个谓词公式中用项去替换变量，项一般用小写字母a、b、c、s、t来表示，变量一般用小写字母x、y、z来表示，置换一般用希腊字母θ、α、λ等来表示。

A.正确
B.错误

你可能感兴趣的试题

单项选择题

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

A.正确
B.错误

单项选择题

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

A.正确
B.错误