首页
题库
网课
在线模考
桌面端
登录
搜标题
搜题干
搜选项
0
/ 200字
搜索
多项选择题
经典逻辑推理中用到的规则有
A、P规则:在推理的任何步骤上都可引入前提。
B、T规则:在推理过程中,如果前面步骤中有一个或多个公式永真蕴含公式S,则可把S引入推理过程中。
C、CP规则:如果能从任意引入的谓词R和前提集合中推出S来,则可从前提集合推出R → S来。
D、F规则:在推理的任何步骤上都可引入永假蕴含式。
点击查看答案&解析
在线练习
手机看题
你可能感兴趣的试题
问答题
常见的菜单实施策略有三种:固定菜单、( )、综合菜单。
[填空(1)]
答案:
循环菜单
点击查看答案&解析
手机看题
单项选择题
Bump Maps是何种贴图( )。
A、 高光贴图
B、 反光贴图
C、 凹凸贴图
D、 反射贴图
点击查看答案&解析
手机看题
微信扫码免费搜题