Chapter 1 谓词逻辑推理理论 5
谓词逻辑归结原理源代码
#include
} } j=count; if(k==j)return; count=k; for(int i=1;i
逻辑学模拟试题一
逻辑学模拟试题一 一、单项选择题（本题30分，每题2分） 1.概念外延间的交叉关系属于（）关系。 A.即对称又传递 B. 对称但非传递 C.非对称但传递 D. 即非对称又非传递 2.在性质命题中，决定命题形式的是（）。 A.主项和谓项 B. 主项和量项 C. 谓项和联项 D. 量项和联项 3."正当防卫不是犯罪行为"这个命题的主、谓周延情况是（）。 A. 主、谓项都周延 B. 主、谓项都不周延 C. 主项周延，谓项不周延 D.主项不周延，谓项周延 4.与"并非有些贪污罪不是故意犯罪"等值的命题是（）。 A.所有贪污罪都是故意犯罪 B. 所有贪污罪都不是故意犯罪 C. 有些贪污罪是故意犯罪 D. 有些贪污罪不是故意犯罪 5."并非某甲或某乙有罪"等值的命题是（）。 A. 某甲和某乙都有罪 B. 某甲和某乙都无罪 C. 某甲或某乙有罪 D. 某甲或某乙无罪 6.若"某甲必然不是凶手"为真，则（）为真。 A. 某甲必然是凶手 B. 某甲可能是凶手 C. 某甲可能不是凶手 D. 某甲不必然不是凶手 7.类比推理和不完全归纳推理的相同点是（）。 A. 从个别到一般的推理 B. 从个别到个别的推理 C. 从一般到一般的推理 D. 或然性推理 8." 调查中发现，凡是普法教育搞得好的地区，刑事案件发案率都较低，凡是普法教育搞得不好的地区，刑事案件发案率都较高，由此可见，搞好普法教育是刑事案件发案率较低的原因。"这是求因果联系的（）。 A.求同法 B.求异法 C. 求同求异并用法 D.共变法 9.在论证过程中，如果违反"论据的真实性不应依赖论题的真实性来论证"的规则，就会犯（）的逻辑错误。A.虚假论据 B.预期理由C.循环论证 D.推不出 10、和“并非：这个商店的商品价廉物美”相等值的命题是（） A、这个商店的商品价不廉，物也不美 B、这个商店的商品价廉但物不美 C、这个商店的商品价不廉，或物不美 D、这个商店的商品物美但价不廉 11、“出席会议的人有大学毕业的”与“出席会议的人有不是大学毕业的”（） A、可同真，可同假 B、不可同真，不可同假 C、不可同真，可同假 D、可同真， 不可同假 12、以MAP为大前提，SIM为小前提的有效三段论推理，其结论是（） A、SAP B、SEP C、SIP D、SOP 13、同时肯定“所有的人都会犯错误”与“有的人不会犯错误”这两个命题会违反 （） A、同一律 B、矛盾律 C、排中律 D、充足理由律 14、如果一个证明的论据还要依靠论题来证明，那么该证明所犯的逻辑错误是（） A、论据虚假 B、预期理由 C、循环论证 D、推不出
期末复习 二年级下册数学重难点突破卷2 初步的逻辑推理能力
重难点突破卷2 初步的逻辑推理能力 一、我会填。(每题6分，共30分) 1．小刚、小强和小丁在100米赛跑中取得了前三名的成绩。已知小刚不是第一名，小强不是前两名。第一名是()。2．甲、乙、丙三个小朋友分别戴着1顶红帽子、1顶蓝帽子和1顶黄帽子，甲看见1人戴红帽子，1人戴蓝帽子，那么甲戴()帽子。 3．胖胖、笨笨和圆圆是三只可爱的小猪。它们比赛赛跑。笨笨说：“我跑得不是最快的，但比胖胖快。”请你猜一猜，()跑得最快，()跑得最慢。 4．用3、0、6这三张数字卡片，能摆成()个不同的三位数，分别是()。 5．猜年龄。 年龄最小的是()，年龄最大的是()。 二、在方框里填上1～9使算式成立，所填数字不能重复。(12分)
三、走进生活，我会推理。(共58分) 1．在下面的方格中，每行、每列都有1～4这四个数，并且每个数在每行、每列都只出现一次。B、C各是几？(15分) 2．李叔叔把红、白、蓝各一个气球送给3位小朋友。根据下面的对话，你能猜出他们分到的各是什么颜色的气球吗？(15分)
3．小芳、小丽、小明、小强四人同住在一幢四层的楼房里。已知小芳住的比小丽住的楼层高，比小明住的楼层低，小强住顶层，你知道他们分别住第几层吗？请填在下边房子里。(12分) 4．小熊家的一罐蜂蜜被偷了，有嫌疑的是小毛、小球、小飞、小米4只小老鼠，现在调查出是体重最重的那只小老鼠偷的，偷蜂蜜的是哪只小老鼠？(16分)
答案 一、1.小丁【点拨】也可以这样推理，第一名不是小刚，也不是小 强，那第一名就是小丁。 2．黄 3．圆圆胖胖 4．4360、306、630、603 5．小冰小华 二、 【点拨】先肯定能填出的数字是4、2、6、8，再确定第2道算式中的十位上只能填1，还剩下3、5、7、9，而只有9－3＝6，如果被个位借“1”后，就是5，所以9和3填在第3道算式里。第2道算式中5和7位置可互换。 三、1.口答：B是3，C是1。 2．口答：小华分到的是白气球，小春分到的是红气球，小宇分到的是蓝气球。
逻辑推理能力测试模拟题含答案
逻辑推理能力测试模拟题含答案 (50题,每题2分,满分100分,考试时间45分钟 ) 1.某学校有四名外国专家,分别来自美国,加拿大,韩国和日本.他们分别在电子,机械 和生物三个系工作,其中: ①日本专家单独在机械系; ②韩国专家不在电子系; ③美国专家和另外某个外国专家同在某个系; ④加拿大专家不和美国专家同在一个系. 以上条件可以推出美国专家所在的系为 (A) 电子 (B) 机械系 (C) 生物系 (D) 电子系或生物系 2.一项调查表明,一些技术类期刊每一份杂志平均有5到6个读者.由此可以推断,在《小说月报》10000订户的背后约有50000到60000个读者. 上述估算的前提是: (A) 大多数《小说月报》的读者都是该刊物的订户. (B) 《小说月报》的读者与订户的比例与文中提到的技术类期刊的读者与订户的比例相同. (C) 技术类期刊的读者数与《小说月报》的读者数相近. (D) 大多数期刊订户都喜欢自己的杂志与同事亲友共享. 3.业余兼课是高校教师的实际收入的一个重要来源.某校的一项统计表明,法律系教师的人均业余兼课的周时数是3.5,而会计系则为1.8.因此,该校法律系教师的当前人均实际收入要高于会计系. 以下哪项为真,将削弱上述论证 Ⅰ.会计系教师的兼课课时费一般要高于法律系. Ⅱ.会计系教师中当兼职会计的占35%;法律系教师中当兼职律师的占20%. Ⅲ. 会计系教师中业余兼课的占48%;法律系教师中业余兼课的只占20%. (A) 仅Ⅰ和Ⅱ (B) 仅Ⅰ (C) 仅Ⅱ (D) 仅Ⅲ 4.雄性园丁鸟构筑装饰精美的巢.同一种类的不同园丁鸟群建筑的巢,具有不同的建筑和装饰风格.根据这一事实,研究人员认为园丁鸟的建筑风格是一种后天习得的,而不是先天遗传的特性. 以下哪项为真,则最有助于加强研究者的结论 (A) 通过对园丁鸟的广泛研究发现,它们的筑巢风格中的共性多于差异.
MBA逻辑模拟试题(含答案)
逻辑推理 1．在海上城，只有修过“电力基础”这门课，才可能被批准成为电工。海上城技术学院计算机技术专业的所有学生，毕业前都要通过这门课。所以，在海上城计算机技术专业的所有大学毕业生都可以被批准成为电工。 以上推理有问题，因为它没有说明： A．所有上过“电力基础”这门课的人，对这一程序的掌握程度都一样。 B．海上城技术学院计算机技术专业所有学生如果也上过该门课，是否都能毕业。 C．海上城的技术学院的大学生中，只有计算机技术专业的学生才有资格修“电力基础”这门课。 D．只有上过“电力基础”这门课，一个人才能了解安全用电的知识。 E．完成“电力基础”这门课是海上城批准成为电工的充分条件。 2．在某实验中，同类200多只的通常不患白血球过多症的老鼠被给予等量的辐射。之后，允许其中的一般老鼠不受限制，正常进食；给另一半老鼠充足却是限量的同样食品，第一组老鼠中有55只患上了白血球过多症，而第二组只有三只患该症。 上述实验最能支持以下哪项结论？ A．白血球过多症无法解释通常不患该病的老鼠种族中的一些老鼠。 B．实验中接受辐射的老鼠的白血球过多症发病率可以通过限制进食而得到控制。 C．在实验中进行辐射对任何老鼠患白血球过多症都几乎没有影响。 D．如果不加以食物限量，老鼠将形成一套利于其健康的饮食。 E．不论受辐射与否，允许老鼠正常进食则增加它们患白血球过多症的可能性。 3．在同量的情况下，没有经过注册得山寨版药物和它们所要取代的原有品牌的药物，虽然所含的有效成分是相同的，但是，二者对患者产生的效果却不同。 以下哪项如果为真，最能有效地解释上述表面上的矛盾？ A．当原有品牌的药物专利权到期时，联邦法律允许厂家直接生产不注册的药物，不必对药物的有效成分进一步研究。 B．一些医生所开的药都是品牌药，因为他们的药物可以低价出售。
离散数学24谓词演算的推理理论
谓词演算的 推理理论
在谓词逻辑中，除了命题逻辑中的推理规则继续有效外，还有以下四条规则。设前提Г= {A 1,A 2,…,A k }. 1. 全称指定规则（全称量词消去规则）US ： 例1 取个体域为实数域，F(x, y): x>y, P(x)=(?y) F(x,y), 则(?x)P(x) ?P(z)=(?y) F(z,y). 而不能(?x) P(x) ?P(y)=(?y) F(y,y). 其中x,y 是个体变项符号，c 为任意的个体常量. 或 (?x ) P (x ) ∴ P (y ) (?x) P (x ) ∴ P (c )
2 . 全称推广规则（全称量词引入规则） UG： P(x) ∴ (?x)P(x) 其中x是个体变项符号，且不在前提的任何公式中 自由出现. 3. 存在指定规则（存在量词消去规则） ES： (?x)P(x) ∴ P(c) 1)c是使P(x)为真的特定的个体常量，不是任意的. 2)c不在前提中或者先前推导公式中出现或自由出现， 换句话说，此c是在该推导之前从未使用过的.
4. 存在推广规则（存在量词引入规则) EG： P(c) ∴ ( x)P(x) 其中x是个体变项符号, c是个体常项符号.
谓词逻辑的推理理论由下列要素构成. 1. 等价公式 2. 蕴含式 3. 推理规则： (1) 前提引入规则 (2) 结论引入规则 (3) CP推理规则 (4)归谬论 (5) US规则 (6) UG规则 (7) ES规则 (8) EG规则
1)在推导的过程中，可以引用命题演算中的规则P、规则T、 规则CP . 2)为了在推导过程中消去量词，可以引用规则US和规则ES来 消去量词. 3)当所要求的结论可能被定量时，此时可引用规则UG和规则 EG将其量词加入. 4)证明时可采用如命题演算中的直接证明方法和间接证明方法. 5)在推导过程中，对消去量词的公式或公式中没含量词的子公 式，完全可以引用命题演算中的基本等价公式和基本蕴涵公式. 6)在推导过程中，对含有量词的公式可以引用谓词中的基本等 价公式和基本蕴涵公式.
2级第9课时 逻辑推理初步
第9课时逻辑推理初步 教学目标 1.经历对生活中的某些现象进行推理、判断的过程，能够对这些现象进行合理的分析。 2.学会运用列表、尝试、操作等解决问题的策略进行推理，发展推理能力。 3.能够用语言清楚地表达自己的推理过程，在经历推理判断的过程中树立自信，体会生活中这些现象中蕴含的数学道理。 教学重点 经历对生活中某些现象进行推理、判断的过程。 教学难点 能对生活中的某些现象按一定的方法进行逻辑推理，判断其结果。 教学过程 例1、同学们排成三队在操场做操。第一队比第三队少8人，第二队比第三队多15人，你知道哪队人最少？哪队人最多吗？ 解析：方法一、由第一队比第三队少8人可知：○1＜○3，由第二队比第三队多15人可知○2＞○3。两个条件统一方 向:_______________,__________________________. 所以综合可得：___________________________.()最少，（）人数最多。 方法二：画图法，用一根带箭头的直线表示所给条件的大小。越靠近箭头表示物体越多（大、重、快……），越靠近箭头尾表示物体
越少（小、轻、慢……）依据条件可知 __________________________,________________________所以 ()最少，（）人数最多。 例2、学校里有四栋大楼，1号、2号、3号和4号。2号大楼比3号大楼高，4号楼比3号楼矮，几号大楼是最高？几号大楼是最矮的？ 画图：画图如图所示，根据○1、○2、○3、○4的位置得出（） 最靠近箭头，说明（）是最高的：（）最靠近箭尾，说明（）是最矮的。 如图所示： 例3、薇儿比丁丁跑得慢，丁丁比田田跑得快，田田比牛牛跑得快，牛牛比薇儿跑得快，谁跑得最快，谁跑得最慢？
逻辑推理能力检测试题
2003年逻辑推理能力测试题 1.古希腊哲人说,未经反省的人生是没有价值的.下面哪一个选项与这句格言的意思最不．接近? A.只有经过反省,人生才有价值. B.要想人生有价值,就要不时地对人生进行反省. C.糊涂一世,快活一生. D.人应该活得明白一点. 答案是C。 题干断定：反省是人生有价值的必要条件。 A.同题干。. B.断定人生有价值的充分条件，等价于题干。 D.接近题干的判定。. C.不同于题干的断定。 2.人的日常思维和行动,哪怕是极其微小的,都包含着有意识的主动行为,包含着某种创造性,而计算机 的一切行为都是由预先编制的程序控制的,因此计算机不可能拥有人所具有的主动性和创造性. 补充下面哪一项,将最强有力地支持题干中的推理? A.计算机能够像人一样具有学习功能. B.计算机程序不能模拟人的主动性和创造性. C.在未来社会,人控制计算机还是计算机控制人,是很难说的一件事. D.人能够编出模拟人的主动性和创造性的计算机程序. 答案是B.B项是题干论证的前提。 3.植物必须先开花,才能产生种子,有两种龙蒿---俄罗斯龙蒿和法国龙蒿,它们看起来非常相似,俄罗斯 龙蒿开花而法国龙蒿不开花,但是俄罗斯龙蒿的叶子却没有那种使法国龙蒿成为理想的调味品的独特香味. 从以上论述中一定能推出以下哪项结论? A.作为观赏植物,法国龙蒿比俄罗斯龙蒿更令人喜爱. B.俄罗斯龙蒿的花可能没有香味. C.由龙蒿种子长出的植物不是法国龙蒿. D.除了俄罗斯龙蒿和法国龙蒿外,没有其他种类的龙蒿. 答案是C。题干断定开花是产生种子的必要条件。法国龙蒿不开花，因此，可推出：由龙蒿种子长出的植物不是法国龙蒿。 4.有些台独分子论证说:凡属中华人民国政府管辖的都是中国人,人现在不受中华人民国政府管辖,所以, 人不是中国人. 以下哪一个推理明显说明上述论证不成立? A.所有成功人士都要穿衣吃饭,我现在不是成功人士,所以，我不必穿衣吃饭. B.商品都有使用价值，空气当然有使用价值，所以,空气当然是商品. C.所有技术骨干都刻苦学习，小是技术骨干,所以，小是刻苦学习的人. D.犯罪行为都是行为,违反行为都应受到社会的谴责,所以,所有犯罪行为都应受到社会谴责 . 答案是A。 A项与题干有相同的推理结构，并且明显前提真而结论假。
谓词演算的推理理论(牛连强)
2.5 谓词演算的推理理论 1．推理定律 谓词演算中也存在一些基本的等价与蕴含关系，参见表2-2。我们以此作为推理的基础，即推理定律。 表2-2 序号 等价或蕴含关系 含义 E27 E28 ┐?xA(x)??x┐A(x) ┐?xA(x)??x┐A(x) 量词否定等值式 E29 E30?x(A(x)∧B(x))??xA(x)∧?xB(x) ?x(A(x)∨B(x))??xA(x)∨?xB(x) 量词分配等值式（量词分配律） E31 E32 E33 E34 E35 E36 E37 E38 E39 E40 E41 E42 E43?x(A(x)∨B)??xA(x)∨B ?x(A(x)∧B)??xA(x)∧B ?x(A(x)∨B)??xA(x)∨B ?x(A(x)∧B)??xA(x)∧B ?x(B∨A(x))? B∨?xA(x) ?x(B∧A(x))? B∧?xA(x) ?x(B∨A(x))? B∨?xA(x) ?x(B∧A(x))? B∧?xA(x) ?x(A(x)→B(x))??xA(x)→?xB(x) ?x(A(x)→B)??xA(x)→B ?xA(x)→B??x(A(x)→B) A→?xB(x)??x(A→B(x)) A→?xB(x)??x(A→B(x)) 量词作用域的扩张与收缩 I21 I22?xA(x)∨?xB(x)??x(A(x)∨B(x)) ?x(A(x)∧B(x))??xA(x)∧?xB(x) I23 ?xA(x)→?xB(x)??x(A(x)→B(x)) 表2-2中的I、E序号是接着表1-5和1-8排列的，表明它们都是谓词逻辑的推理定律。E31~E34与E35~E38只是A和B的顺序不同。 2．量词的消除与产生规则 谓词推理可以看作是对命题推理的扩充。除了原来的P规则（前提引入）、T规则（命题等价和蕴含）及反证法、CP规则外，为什么还需引入新的推理规则呢？ 命题逻辑中只有一种命题，但谓词逻辑中有2种，即量词量化的命题和谓词填式命题。如果仅由表2-2的推理定律就可推证，并不需要引入新的规则，但这种情况十分罕见，也失去了谓词逻辑本身的意义。为此，要引入如下4个规则完成量词量化命题与谓词填式之间的转换，其中的A(x)表示任意的谓词。 (1) 全称指定（消去）规则US（Ubiquity Specification，或记为?-）
实验二：使用Prolog的一阶逻辑推理实验
实验二：使用Prolog的一阶逻辑推理实验 班级；智能1401 姓名：蒙寿伟 学号：201408070120 一．实验目的 1.学会使用Prolog语言； 2.用Prolog语言巩固一阶逻辑知识； 3.能够使用prolog语言实现一阶逻辑的证明； 二、实验的硬件、软件平台 硬件：计算机 软件：操作系统：WINDOWS 10 应用软件：Prolog 三、实验内容及步骤 熟悉prolog语言的使用并实现对于一阶逻辑推理的证明 实验步骤： 1：对于a,b,c,d四种输入情况，验证|?- p(a).的真假； a.p(b). p(a) :- p(b). p(a) :- p(c) 推理分析： 事实：p(b)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果：
b. p(c). p(a) :- p(b). p(a) :- p(c). 推理分析： 事实：p(c)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： c. p(b). p(a) :- p(b) ,p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真且p(c)为真可以推出p(a)为真. 结论：p(a)为假.因为p(b)未知. d. p(c). p(a):- p(b) ; p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真或p(c)为真可以推出p(a)为真. 结论：p(a)为真. 2.验证 ?-friend(john,Y). likes(bell,sports). likes(mary,music).
初中逻辑推理题
个性化辅导教案 学科数学学生年级授课时间 2014 年 12 月日授课教师汪
例 1. 某超级市场失窃,大量的商品在夜间被罪犯用汽车运走?三个嫌疑犯被警察局传讯,警察局已经掌握了以下事实:(1)罪犯不在甲、乙、丙三人之外;(2)丙作案时总得有乙作从犯;(3)甲不会开车?在此案中能肯定的作案对象是( ) A.嫌疑犯甲 B.嫌疑犯乙 C.嫌疑犯丙 D.嫌疑犯乙和丙 例 2. 甲、乙、丙、丁四个小朋友在院里玩球,忽听“砰”的一声,球击中了李大爷家的窗户.李大爷跑出来查看,发现一块窗户玻璃被打裂了.李大爷问:“是谁闯的祸?”[来源:学&科&网Z&X&X&K] 甲说:“是乙不小心闯的祸.” 乙说:“是丙闯的祸.” 丙说:“乙说的不是实话.” 丁说:“反正不是我闯的祸.” 如果这四个小朋友中只有一个人说了实话,请你帮李大爷判断一下,究竟是谁闯的祸 A.甲 B. 乙 C.丙 D.丁
个性化辅导学案 学科数学学生年级授课时间 2014 年 12 月日授课教师汪 例题精选例 1. 某超级市场失窃,大量的商品在夜间被罪犯用汽车运走?三个嫌疑犯被警察局传讯,警察局已经掌握了以下事实:(1)罪犯不在甲、乙、丙三人之外;(2)丙作案时总得有乙作从犯;(3)甲不会开车?在此案中能肯定的作案对象是( ) A.嫌疑犯甲 B.嫌疑犯乙 C.嫌疑犯丙 D.嫌疑犯乙和丙
例 2. 甲、乙、丙、丁四个小朋友在院里玩球,忽听“砰”的一声,球击中了李大爷家的窗户.李大爷跑出来查看,发现一块窗户玻璃被打裂了.李大爷问:“是谁闯的祸?”[来源:学&科&网Z&X&X&K] 甲说:“是乙不小心闯的祸.” 乙说:“是丙闯的祸.” 丙说:“乙说的不是实话.” 丁说:“反正不是我闯的祸.” 如果这四个小朋友中只有一个人说了实话,请你帮李大爷判断一下,究竟是谁闯的祸 A.甲 B. 乙 C.丙 D.丁
逻辑推理解题技巧大全之演绎推理
逻辑推理大全之演绎推理 演绎推理 1.推理及其分类 所谓推理，是指由一个或几个已知的判断推导出另外一个新的判断的思维形式。一切推理都必须由前提和结论两部分组成。一般来说，作为推理依据的已知判断称为前提，所推导出的新的判断则称为结论。推理大体分为直接推理和间接推理。只有一个前提的推理叫直接推理。例如： 有的高三学生是共产党员，所以有的共产党员是高三学生。 一般有两个或两个以上前提的推理就是间接推理。例如： 贪赃枉法的人必会受到惩罚，你们一贯贪赃枉法，所以今天你们终于受到法律的制裁和人民的惩罚。 一般说，间接推理又可以分为演绎推理、归纳推理和类比推理等三种形式。(1)演绎推理。所谓演绎推理，是指从一般性的前提得出了特殊性的结论的推理。例如： 贪赃枉法的人是必定会受到惩罚的，你们一贯贪赃枉法，所以，你们今天是必定要受到法律的制裁、人民的惩罚的。 这里，“贪赃枉法的人是必定会受到惩罚的”是一般性前提，“你们一贯贪赃枉法”是特殊性前提。根据这两个前提推出”你们今天是必定要受到法律的制裁和人民的惩罚的”这个特殊性的结论。 演绎推理可分为三段论、假言推理和选言推理。 (2)归纳推理。归纳推理是从个别到一般，即从特殊性的前提推出普遍的一般的结论的一种推理。一般情况下，归纳推理可分为完全归纳推理、简单枚举归纳推理。 完全归纳推理，也叫完全归纳法，是指根据某一类事物中的每一个别事物都具有某种性质，推出该类事物普遍具有这种性质的结论。正确运用完全归纳推理，要求所列举的前提必须完全，不然推导出的结论会产生错误。例如： 在奴隶社会里文学艺术有阶级性；在封建社会里文学艺术有阶级性；在资本主义社会里文学艺术有阶级性；在社会主义社会里文学艺术有阶级性；所以，在阶级
小升初 第5讲 逻辑推理一(含答案)
2020小升初专项训练班讲义 第五讲逻辑推理（一）数字游戏 ◇专题知识简述◇ 由于数学学科的特点，通过数学的学习来培养少年儿童的逻辑推理能力是一种极好的途径. 为了使同学们在思考问题时更严密更合理，会有很有据地想问题，而不是凭空猜想，这里我们专门讨论一些有关逻辑推理的问题。 解答这类问题，首先要从所给的条件中理清各部分之间的关系，然后进行分析推理，排除一些不可能的情况，逐步归纳，找到正确的答案。 ◇例题解析◇ 例1C 公路上按一路纵队排列着五辆大客车.每辆车的后面都贴上了该车的目的地的标志. 每个司机都知道这五辆车有两辆开往A市，有三辆开往B市；并且他们都只能看见在自己前面的车的标志.调度员听说这几位司机都很聪明，没有直接告诉他们的车是开往何处的，而让他们根据已知的情况进行判断.他先让第三个司机猜猜自己的车是开往哪里的.这个司机看看前两辆车的标志，想了想说“不知道”.第二辆车的司机看了看第一辆车的标志，又根据第三个司机的“不知道”，想了想，也说不知道.第一个司机也很聪明，他根据第二、三个司机的“不知道”，作出了正确的判断，说出了自己的目的地。 请同学们想一想，第一个司机的车是开往哪儿去的；他又是怎样分析出来的？ 解：根据第三辆车司机的“不知道”，且已知条件只有两辆车开往A市，说明第一、二辆车不可能都开往A市.（否则，如果第一、二辆车都开往A市的，那么第三辆车的司机立即可以断定他的车一定开往B市）。 再根据第二辆车司机的“不知道”，则第一辆车一定不是开往A市的.（否则，如果第一辆车开往A市，则第二辆车即可推断他一定开往B市）。 运用以上分析推理，第一辆车的司机可以判断，他一定开往B市。 例2 A李明、王宁、张虎三个男同学都各有一个妹妹，六个人在一起打羽毛球，举行混合双打比赛.事先规定.兄妹二人不许搭伴。 第一盘，李明和小华对张虎和小红； 第二盘，张虎和小林对李明和王宁的妹妹。 请你判断，小华、小红和小林各是谁的妹妹。 解：因为张虎和小红、小林都搭伴比赛，根据已知条件，兄妹二人不许搭伴，所以张虎的妹妹不是小红和小林，那么只能是小华，剩下就只有两种可能了。 第一种可能是：李明的妹妹是小红，王宁的妹妹是小林； 第二种可能是：李明的妹妹是小林，王宁的妹妹是小红。
逻辑推理模拟试题三
01. 加利福利亚的消费者在寻求个人贷款时可借助的银行比美国其他州少，银行间竞争的缺乏解释了为什么加利福利亚的个人贷款利率高于美国其他地区。 下面哪个，如果正确，最显著地削弱了以上的结论? (A)因为要支付相对高的工资来吸引胜任的员工，加利福利亚的银行为它们提供许多服务，因而向储户收取的费用比其他地方银行高。 (B)个人贷款比银行做的其他种类贷款如住房按揭贷款风险大。 (C)因为加利福利亚的银行存款和美国其他地区银行存款都受相同的保险保障，它们的安全性并不比其他地区的银行存款差。 (D)加利福利亚的消费者不能归还私人贷款的比率比美国其他地区低。 (E)加利福利亚的银行向储户支付的利率比美国其他地区的银行低，因此在加利福利亚，吸收储户的竞争较少。 02. 产自蒙古的纯种奶牛每年平均出产400升牛奶；如果蒙古种的牛与欧洲种的牛进行杂交，杂交生出的牛每年平均可出产2700升牛奶。一家国际机构计划通过鼓励推广把蒙古的牛与欧洲种的牛进行杂交来提高蒙古奶牛行业的利润。 下面哪个，如果正确，对该机构的计划的可行性提出了最严重的质疑? (A)并非所有的欧洲种的牛都可以成功地与蒙古本地牛配育。 (B)许多年轻的蒙古人现在认为饲养牛是低等的工作，因为养牛的利润比其他可选择的工作低。 (C)蒙古的地形适宜放牧本地的牛群，但不适宜种植保持杂交动物健康所需的饲料。 (D)牛皮和皮革制品——而非牛奶——是蒙古向欧洲出口的动物产品。 (E)许多欧洲种的牛可以取得超过2700升的平均牛奶产量。 03. 一项新的法律把专利的所有权——提供制造和出售一项发明的专有权利的文件——给予了大学，而不是政府，当这些专利是从政府资助的大学研究中产生时。L大学的行政人员计划把他们取得的所有专利出售给公司以资助改善本科生教学的计划。 下面哪个，如果正确，会对上述的大学行政人员的计划的可行性提出最多的质疑? (A)对开发以大学特有的专利为基础的产品感兴趣的盈利性公性公司可能企图成为正在进行的大学研究计划的惟一赞助人。 (B)大学研究设备的赞助人在新的联邦税则指标下可以获得税收优惠。 (C)L大学从事研究的科学家们有很少的或没有教学任务，并且如果有也很少参与他们领域中的本科生计划。 (D)在L大学进行的政府资助的研究很大程度上重复了已经被一些盈利性公司完成的研究。 (E)L大学不可能吸引资助它的科学研究的公司。 04. 政府的功能是满足群众的真正需要，除非政府知道那些需要是什么，否则政府就无法满足那些需要。言论自由能确保政府官员听到这样的需求信息。因此，对一个健康的国家来说，言论自由是必不可少的。 下面哪一条，如果正确，不能削弱上述论述的结论?
人工智能原理教案02章 归结推理方法2.4 归结原理
2.4 归结原理 本节在上节的基础上，进一步具体介绍谓词逻辑的归结方法。谓词逻辑的归结法是以命题逻辑的归结法为基础，在Skolem 标准性的子句集上，通过置换和合一进行归结的。 下面先介绍一些本节中用到的必要概念： 一阶逻辑：谓词中不再含有谓词的逻辑关系式。 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号：, 归结原理正确性的根本在于，如果在子句集中找到矛盾可以肯定命题是不可满足的。 2.4.1 合一和置换 置换：置换可以简单的理解为是在一个谓词公式中用置换项去置换变量。 定义： 置换是形如{t1/x1, t2/x2, …, t n/x n}的有限集合。其中，x1, x2, …, x n是互不相同的变量，t1, t2, …, t n是不同于x i的项（常量、变量、函数）；t i/x i表示用t i置换x i，并且要求t i与x i不能相同，而且x i
不能循环地出现在另一个t i中。 例如 {a/x，c/y，f(b)/z}是一个置换。 {g(y)/x，f(x)/y}不是一个置换，原因是它在x和y之间出现了循环置换现象。置换的目的是要将某些变量用另外的变量、常量或函数取代，使其不在公式中出现。但在{g(y)/x，f(x)/y}中，它用g(y)置换x，用f(g(y))置换y，既没有消去x，也没有消去y。若改为{g(a)/x，f(x)/y}就可以了。 通常，置换用希腊字母θ、σ、α、λ来表示的。 定义：置换的合成 设θ＝{t1/x1, t2/x2, …, t n/x n}，λ＝{u1/y1, u2/y2, …, u n/y n}，是两个置换。则θ与λ的合成也是一个置换，记作θ·λ。它是从集合{t1·λ/x1, t2·l/x2, …, t n·λ/x n, u1/y1, u2/y2, …, u n/y n} 即对ti先做λ置换然后再做θ置换，置换xi 中删去以下两种元素： i. 当t iλ＝x i时，删去t iλ/x i(i = 1, 2, …, n); ii. 当y i∈{x1,x2, …, x n}时，删去u j/y j(j = 1, 2, …, m) 最后剩下的元素所构成的集合。 例： 设θ＝{f(y)/x, z/y}，λ＝{a/x, b/y, y/z}，求θ与λ的合成。 解： 先求出集合
逻辑学模拟试题及答案
《逻辑学》模拟试题及参考答案(A ) 2分，共20分） 、思维的形式结构由 逻辑常量 和 逻辑变量 构成。 2、表示对象不具有某种本质属性的概念，称为 负概念 。 3、由“q p ?→”为假，可知p 为 真 ，q 为 真 。 4、对一真值形式的判定，就是确定它属于 重言式 、 矛盾式 还是 非 重言的可真式 。 5、直言命题的 主项 和 谓项 通称为词项。 6 、一个直言命题的谓项周延，其质是 否定式 。 7、如果把“新闻系毕业的学生不都当记者”整理成I 命题，则其谓项是 不当 记者的 。 8、如果SOP 为假，则S 与P 的外延间具有 全同 关系和 真包含于 关系。 9、“地球磁场发生磁暴的周期性经常与太阳黑子的周期性一致。随着太阳上黑子数目 的增加，磁暴的强烈程度也增高。当太阳黑子数目减少时，磁暴的强烈程度也随 之降低。所以，太阳黑子的出现可能是磁暴的原因。”这是运用了求因果联系的 逻辑方法中的 共变法 。 、证明是根据已知为真 的命题，来确定某一命题 真实性 的思维形式。 二、单项选择题（在每小题的四个备选答案中选出一个正确的 答案，并将正确答案的序号填在题后的括号内。错选、不选均无 分。每小题2分，共20分） 1、“”与“s r ∨”这两个命题形式含有 （b ） A 、相同的逻辑常项，相同的变项 B 、不同的逻辑常项，不同的变项 C 、不同的逻辑常项，相同的变项 D 、相同的逻辑常项，不同的变项 2、在下列语句中，在集合意义下使用语词“人”的是 （ d ） A 、人是有思维能力的 B 、人非圣贤，孰能无过 C 、人贵有自知之明 D 、人是世间万物中第一个可宝贵的 3、下列语句作为划分，正确的是 （ c ） A 、战争分为常规战争和世界大战 B 、一年可以分为春、夏、秋、冬四季 C 、这个班的学生，除了七名女学生外，其余都是男生
2能让你一天就看懂的逻辑推理基础知识
能让你一天就看懂的逻辑推理基础知识（摆渡公益版第二部分）Part4 推理规则 三段论 在逻辑中最最基本的推理规则，就是三段论。 什么叫三段论？三段论就是三句话，两个前提推一个结论 讲一个故事让大家轻松一下 从前，有一位哲学家叫苏格拉底 有一天，有个人找他说话：“大师，我很崇拜您，向您求教几个问 题，您能回答我对或者不对吗？” 苏格拉底：“能。” 那人说：“所有人都会死，这句话对不对？” 苏格拉底：“对。” 那人说：“大师您是人，对不对？” 苏格拉底：“对。” 那人说：“于是，大师您会死，对不对？” 苏格拉底：“……%￥……#￥……%￥……#%￥……”
以上就是三段论，嘿嘿 哈哈，回到正题，给几个三段论的公式（有兴趣的童鞋可以自己试试把上面的故事转换一下，看看是符合1234中的哪一个 哦！） 比如： 1.所有A是B，所有B是C，于是，所有A是C（两个前提，都是肯定句，则结论必是肯定句） 2.有些A是B，所有B是C，于是，有些A是C 3.有些A是B，所有B非C，于是，有些A非C （两个前提，一肯一否，则结论必是否定句） 4.有些A非B，所有C是B，于是，有些A非C 三段论推理传递的最重要的一点，就是传递推理的那个前提是所有开头的 要注意的一点是，两个前提中至少有一个是“所有”，否则推理不能传递，比如 有些A是B，有些B是C，像这种条件，我们什么也推不出来的！
伸个懒腰，我们来做道综合点的题吧~ 复习复习前几个部分的内容，嘿嘿~ 例8.世界上最漂亮的猫中有一些是波斯猫，然而，人们必须承认，所有的波斯猫都是自负的，并且所有自负的波斯猫总是让人生气。如果上面的陈述正确，下面的每一个基于上述的陈述也必然是正确的，除了： A．世界上最漂亮的猫中有一些是让人生气的（有些a是d）B．一些让人生气的波斯猫是最漂亮的猫（有些d是a） C．任何不让人生气的猫不是波斯猫（因为有任何，这里我们用的是逆否命题同真假来做非d=>非b 等价于b=>d） D．一些让人生气且最漂亮的猫不是波斯猫（D项看起来比较复杂，你们晕了没有？知道关键在哪里么？有疑问的翻回 Part2!仔细看看例2,弄错的，打自己PP！简化来说直接就是，有些最漂亮的猫不是波斯猫，从“有些最漂亮的猫是波斯猫” 是不可以直接推出“有些最漂亮的猫不是波斯猫”的！解释见例2去） 题面：有些最漂亮的猫是波斯猫（1.有些a是b），所有波斯猫都自负（2.所有b是c），所有自负的波斯猫让人生气（3.所有c
小升初真题之逻辑推理篇(含答案)
小升初真题之逻辑推理篇 1（首师附中考题） A、B、C、D、E、F六人赛棋，采用单循环制。现在知道：A、B、C、D、E五人已经分别赛过5．4、3、2、l盘。问：这时F已赛过盘。 2 （三帆中学考题） 甲、乙、丙三人比赛象棋，每两人赛一盘.胜一盘得2分．平一盘得1分，输一盘得0分.比赛的全部三盘下完后，只出现一盘平局．并且甲得3分，乙得2分，丙得1分.那么，甲乙，甲丙，乙丙（填胜、平、负）。 3（西城实验考题） A、B、C、D、E、F六个选手进行乒乓球单打的单循环比赛(每人都与其它选手赛一场)，每天同时在三张球台各进行一场比赛，已知第一天B对D，第二天C对E，第三天D对F，第四天B对C，问：第五天A与谁对阵?另外两张球台上是谁与谁对阵? 4 （人大附中考题） 一个岛上有两种人：一种人总说真话的骑士，另一种是总是说假话的骗子。一天，岛上的2003个人举行一次集会，并随机地坐成一圈，他们每人都声明：“我左右的两个邻居是骗子。”第二天，会议继续进行，但是一名居民因病未到会，参加会议的2002个人再次随机地坐成一圈，每人都声明：“我左右的两个邻居都是与我不同类的人。”问有病的居民是_________(骑士还是骗子)。 5 (西城实验考题) 某班一次考试有52人参加，共考5个题，每道题做错的人数如下： 题号 1 2 3 4 5 人数 4 6 10 20 39 又知道每人至少做对一道题，做对一道题的有7人，5道题全做对的有6人，做对2道题的人数和3道题的人数一样多，那么做对4道题的有多少人?
预测1 学校新来了一位老师，五个学生分别听到如下的情况： （1）是一位姓王的中年女老师，教语文课； （2）是一位姓丁的中年男老师，教数学课； （3）是一位姓刘的青年男老师，教外语课； （4）是一位姓李的青年男老师，教数学课； （5）是一位姓王的老年男老师，教外语课。 他们听到的情况各有一项正确，请问：真实情况如何？ 预测2 某次考试，A，B，C，D，E五人的得分是互不相同的整数。 A说：“我得了94分。” B说：“我在五人中得分最高。” C说：“我的得分是A和D的平均分。” D说：“我的得分恰好是五人的平均分。” E说：“我比C多得2分，在我们五人中是第二名。” 问：这五个人各得多少分？ 预测3 A，B，C，D四个队举行足球循环赛（即每两个队都要赛一场），胜一场得3分，平一场得1分，负一场得0分。已知： （1）比赛结束后四个队的得分都是奇数； （2）A队总分第一； （3）B队恰有两场平局，并且其中一场是与C队平局。 问：D队得几分？
实现基于谓词逻辑的归结原理
河南城建学院 《人工智能》实验报告 实验名称：实现基于谓词逻辑的归结原理 成绩：____ 专业班级： 学号： 姓名： 实验日期：20 14 年 05 月 13日 实验器材：一台装PC机。 一、实验目的 熟练掌握使用归结原理进行定理证明的过程，掌握基于谓词逻辑的归结过程中，子句变换过程、替换与合一算法、归结过程及简单归结策略等重要环节，进一步了解机器自动定理证明的实现过程。 二、实验要求 对于任意给定的一阶谓词逻辑所描述的定理，要求实现如下过程： (1) 谓词公式到子句集变换； (2) 替换与合一算法； (3) 在某简单归结策略下的归结。 三、实验步骤 步1 设计谓词公式及自居的存储结构，即内部表示。注意对全称量词?x和存在量词?x可采用其他符号代替； 步2 实现谓词公式到子句集变换过程； 步3 实现替换与合一算法； 步4 实现某简单归结策略；
步5 设计输出，动态演示归结过程，可以以归结树的形式给出； 步6 实现谓词逻辑中的归结过程，其中要调用替换与合一算法和归结策略。 四、代码 谓词公式到子句集变换的源代码： #include