多项选择题

经典逻辑推理中用到的规则有
A、P规则：在推理的任何步骤上都可引入前提。
B、T规则：在推理过程中，如果前面步骤中有一个或多个公式永真蕴含公式S，则可把S引入推理过程中。
C、CP规则：如果能从任意引入的谓词R和前提集合中推出S来，则可从前提集合推出R → S来。
D、F规则：在推理的任何步骤上都可引入永假蕴含式。

你可能感兴趣的试题

常见的菜单实施策略有三种：固定菜单、（）、综合菜单。
[填空(1)]

答案：循环菜单

单项选择题

Bump Maps是何种贴图（）。
A、高光贴图
B、反光贴图
C、凹凸贴图
D、反射贴图