单项选择题

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

A.正确
B.错误

你可能感兴趣的试题

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

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

单项选择题

产生式的逆向推理过程的目标明确，但是当用户对解的情况认识不清，选择假设目标不好时，会影响系统效率。

A.正确
B.错误