早教吧 育儿知识 作业答案 考试题库 百科 知识分享

在自然推理系统中构造推理的证明(个体域为人类集合),东北人都不怕冷,王芳怕冷,所以王芳不是东北人.

题目详情
在自然推理系统中构造推理的证明(个体域为人类集合),东北人都不怕冷,王芳怕冷,所以王芳不是东北人.
▼优质解答
答案和解析
反证法
假设王芳是东北人;
因为东北人都不怕冷,所以王芳不怕冷;
这与已知条件“王芳怕冷”矛盾;
所以假设不成立.
故王芳不是东北人.
看了在自然推理系统中构造推理的证明...的网友还看了以下: