题目
A.P规则:在推理的任何步骤上都可引入前提。
B.T规则:在推理过程中,如果前面步骤中有一个或多个公式永真蕴含公式S,则可把S引入推理过程中。
C.CP规则:如果能从任意引入的谓词R和前提集合中推出S来,则可从前提集合推出R → S来。
D.F规则:在推理的任何步骤上都可引入永假蕴含式。
第6题
A.逻辑和推理是智能思维的一种表现形式
B.推理是从初始证据出发,按照某种策略,不断运用知识库中已有的知识,逐步匹配,直到推出结论的过程。
C.逻辑推理在类型上主要有两种类型:归纳和演绎
D.推理之所以为推理,是因为它有确定性的特点
第7题
A.若一个推理的形式是有效的,则该推理的前提都真且结论真。
B.若一个推理的形式不是有效的,则该推理的前提都真且结论假。
C.若一个推理的形式是有效的且该推理的前提都真,则该推理的结论真。
D.若一个推理的形式不是有效的且该推理的前提都真,则该推理的结论假。
第8题
A.4
B.3
C.2
D.1
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!