早教吧作业答案频道 -->其他-->
在自然推理系统中构造推理的证明（个体域为人类集合）,东北人都不怕冷,王芳怕冷,所以王芳不是东北人.
题目详情
在自然推理系统中构造推理的证明（个体域为人类集合）,东北人都不怕冷,王芳怕冷,所以王芳不是东北人.
▼优质解答
答案和解析
反证法
假设王芳是东北人；
因为东北人都不怕冷,所以王芳不怕冷；
这与已知条件“王芳怕冷”矛盾；
所以假设不成立.
故王芳不是东北人.
假设王芳是东北人；
因为东北人都不怕冷,所以王芳不怕冷；
这与已知条件“王芳怕冷”矛盾；
所以假设不成立.
故王芳不是东北人.
看了在自然推理系统中构造推理的证明...的网友还看了以下：
在课文「羚羊木雕」中,请以我的身份给万芳写一封信,300字左右,或者也可以以万芳的身份给＂我＂写一 2020-05-17 …
客户关系管理(CRM)系统是以客户为中心设计的一套集成化信息管理系统,系统中记录的客户购买记录属 2020-05-26 …
在网络综合布线中,一般每层楼都设立一个管理间(管理子系统),管理子系统包括了各种设备,以下( )设备 2020-05-26 …
BS7799标准是英国标准协会制定的信息安全管理体系标准,它包括两个部分:《信息安全管理实施指南》和 2020-05-26 …
总账系统与其他财务管理子系统之间在数据传递关系,它可以接收其他子系统生成的凭证,也可以向()等子系统 2020-05-31 …
与NT操作系统一样,Windows 2000中同样使用“事件查看器”来管理日志系统,以系统管理员身份 2020-05-31 …
张南和王芳同在广州打张南和王芳同在广州打工.张楠以王芳的名义给家里发电报.内容为“我病重住院,请速 2020-06-21 …
下列对诗歌的理解，有误的一项是A.《山居秋暝》颔联侧重写人，以人和而望政通；颈联侧重写物，以物芳而 2020-07-07 …
以下不是ISO9000系列标准中的核心标准是：A.ISO9000表述质量管理体系基础知识并规定质量 2020-07-17 …
周末，芳芳拿着手机和同学玩“微信”，对妈妈的劝告爱理不理。妈妈一气之下要拿手机来翻看具体内容。对此， 2020-11-21 …