第四章推理技术谓词逻辑

谓词逻辑归结原理源代码

#include #include #include #define null 0 typedef struct { char var; char *s; }mgu; void strreplace(char *string,char *str1,char *str2) { char *p; while(p=strstr(string,str1)) { int i=strlen(string); int j=strlen(str2); *(string+i+j-1)='\0'; for(int k=i-1;(string+k)!=p;k--) *(string+k+j-1)=*(string+k); for(i=0;is)) continue; if((u+i)->var==(u+j)->var) { delete (u+j)->s; (u+j)->s=null; k--; j=i; } if(((u+i)->s)&&((u+i)->var==*((u+i)->s))) { delete (u+i)->s; (u+i)->s=null; k--;

} } j=count; if(k==j)return; count=k; for(int i=1;i0;i++) { if((u+i)->s) continue; while(!((u+j)->s)) j--; (u+i)->var= (u+j)->var; (u+i)->s= (u+j)->s; (u+j)->s=null; k--; } cout<<"gjvjkhllknkln"; } class unifier { char *string; mgu unit[50]; int count; public: int num; unifier(); void input(); int differ(int n); int change(int i,int j,int n); void print(); ~unifier(){delete string;} }; unifier::unifier() { count=0; unit[0].s=null; } void unifier::input() { cout <>num;

(完整版)六年级奥数逻辑推理1答案

第三十一周逻辑推理（一） 例题1： 星期一早晨，王老师走进教室，发现教室里的坏桌凳都修好了。传达室人员告诉他：这是班里四个住校学生中的一个做的好事。于是，王老师把许兵、李平、刘成、张明这四个住校学生找来了解。 （1）许兵说：桌凳不是我修的。 （2）李平说：桌凳是张明修的。 （3）刘成说：桌凳是李平修的。 （4）张明说：我没有修过桌凳。 后经了解，四人中只有一个人说的是真话。请问：桌凳是谁修的？ 练习1： 1、小华、小红、小明三人中，有一人在数学竞赛中得了奖。老师问他们谁是获奖者，小华说是小红，小红说不是我，小明也说不是我。如果他们当中只有一人说了真话。那么，谁是获奖者？ 2、一位警察，抓获4个盗窃嫌疑犯A、B、C、D，他们的供词如下： A说：“不是我偷的”。 B说：“是A偷的”。 C说：“不是我”。 D说：“是B偷的”。 他们4人中只有一人说的是真话。你知道谁是小偷吗？ 3、有500人聚会，其中至少有一人说假话，这500人里任意两个人总有一个说真话。说真话的有多少人？说假话的有多少人？

虹桥小学举行科技知识竞赛，同学们对一贯刻苦学习、爱好读书的四名学生的成绩作了如下估计： （1）丙得第一，乙得第二。 （2）丙得第二，丁得第三。 （3）甲得第二，丁得死四。 比赛结果一公布，果然是这四名学生获得前4名。但以上三种估计，每一种只对了一半错了一半。请问他们各得第几名？ 练习2： 1、甲、乙、丙、丁同时参加一次数学竞赛。赛后，他们四人预测名词的谈话如下： 甲：“丙得第一，我第三”。 乙：“我第一，丁第四”。 丙：“丁第二，我第三”。 丁：没有说话。 最后公布结果时，发现甲、乙丙三人的预测都只对了一半。请你说出这次竞赛中甲、乙、丙、丁四人的名次。 2、某小学最近举行一次田径运动会，人们对一贯刻苦锻炼的5名学生的短跑成绩作了如下的估计： A说：“第二名是D，第三名是B”。 B说：“第二名是C，第四名是E”。 C说：“第一名是E，第五名是A”。 D说：“第三名是C，第四名是A”。 E说：“第二名是B，第五名是D”。 这5位同学每人说对了一半，请你猜一猜5位同学的名次。 3、某次考试考完后，A，B，C，D四个同学猜测他们的考试成绩。 A说：“我肯定考得最好”。 B说：“我不会是最差的”。 C说：“我没有A考得好，但也不是最差的”。 D说：“可能我考得最差”。 成绩一公布，只有一个人说错了，请你按照考试分数由高到低排出他们的顺序。

关于中学生逻辑推理能力现状的调查研究

摘要：数学被公认是最严密的科学，解决数学问题及通过数学解决其它问题是思维能力、逻辑推理能力、空间想象能力及抽象能力等的综合体现。目前，世界上多数国家的各种能力倾向测试和人才测评都把逻辑推理能力判断为重要的考察内容之一，而在我们国家，无论是出国考试GRE 、 公务员考试还是很多IT 行业的面试中都会测验考生对问题的分析或逻辑推理等方面的能力。然而我国的各种选拔性考试中在这方面还没有足够的体现，对这方面的研究尚缺乏深入和系统性。为了了解我们国家中学生逻辑推理能力的现状，不同学科、年龄层次、性别、数学的喜好程 度对逻辑推理能力是否有显著性影响，以及开展中学生数学能力教学研究的必要性，本研究对上海和浙江几所初、高中的300 多名不同年龄层次的中学生进行了限时测试，结果表明我国中学生逻辑推理能力普遍较差，就逻辑推理能力学科和性别不存在显著性差异。逻辑推理能力受年龄影响，且可以通过后天训练加以提高。

ol Students’ Logical Reasoning Ability is recognized as the best rigorous science. Solving math problems or other problems by math are the synthesis materialization of the ideation, logical reasoning ability. Logical reasoning aptitude test is always an important content of aptitude tests such as in GRE of America. In our country, however, it has been deficient in this field. To get knowing of the present condition of the middle school students’ logical reasoning aptitude, the differenc e among subjects, age, sex, the fancy degree of mathematics and the necessity of studying the students’ math teaching aptitude, we hare tested more than 30O middle school students of Zhejiang and Shanghai who’re separately from middle schools of different grades in half an hour. The result shows that the middle school students’ average logical reasoning aptitude is poor. In addition ，the logical reasoning aptitude is not affected by subjects and sex, but the age. Moreover, logical reasoning aptitude can be changed by training. In our daily study, we must pay more attention to the logical aptitude.

六年级逻辑推理

第一章逻辑推理 在数学竞赛中，有一类问题似乎不像数学题，这类问题没有或很少给出数量或数量关系，也不出现任何图形。解答这类问题没有什么现成的公式可用，甚至不需要什么复杂计算。也有的问题，似乎像算术或几何问题，但解决它却很少用到算术和集合的知识，而是用逻辑推理的知识来解答。这类问题称为逻辑推理问题。逻辑推理是运用已知若干判断去获得一个新判断的思维方法。在推理过程中，常常需要否定一些错误的可能性，去获得正确的结论。 解决这类问题常用的方法有：直接法；假设法；排除法；图解法；列表法和枚举法等。 逻辑推理问题的解决，需要我们深入地理解条件和结论，分析关键所在，找到突破口，进行合情合理的推理，最后做出正确的判断。 推理的过程，必须要有充足的理由和充分的依据。论证的才能不是天生的，而是在不断的实践活动中逐渐锻炼、培养出来的。 一、直接法 例 1 张、王、李三个工人，在甲、乙、丙三个工厂里分别当车工、钳工和电工，已知：（1）张不在甲厂；（2）王不在乙厂；（3）在甲厂的不是钳工；（4）在乙厂的是车工；（5）王不是电工，这三个人分别在哪个厂？干什么工作？ 【分析与解】此题可用直接法解答，即直接从特殊条件出发，再结合其他条件往下推，直到推出结论为止。 由条件（5）可知，王不是电工，那么王必是车工或钳工；由条件（2）可知，王不在乙厂，那么王必在甲厂或丙厂；又由条件（4）可知，在乙厂的是车工，所以王只能是钳工；又因为甲厂的不是钳工，则王必是丙厂的钳工；张不在甲厂，必在乙厂或丙厂，而王在丙厂，则张必在乙厂，是乙厂的车工，剩下的李是甲厂的电工。 所以，张是乙厂的车工，王是丙厂的钳工，李是甲厂的电工。 例2 A、B、C、D、E五人参加乒乓球比赛，每两人都要赛一场，并且只赛一场，规定胜者得2分，负者得0分。现在知道比赛结果是：A和B并列第一名；C 是第三名，D和E并列第四名，求C得多少分？ 【分析与解】我们从A和B并列第一名，D和E并列第四名的已知条件直接

离散数学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.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，或记为?-）

培养学生的逻辑推理能力

数学教学的基本任务是教给学生数学基础知识，形成基本技能，提高数学素养，还要培养学生数学思维能力，尤其是培养学生的逻辑推理能力。 要培养学生的逻辑推理能力，必须让学生明确逻辑推理的意义，逻辑推理的结构，逻辑推理的形式，逻辑推理的要求。所谓的逻辑推理，是指根据已知的判断推出未知判断的一种思维形式。逻辑推理包括演绎推理，归纳推理，类比推理。演绎推理就是寻找事物的共性，归纳推理就是由特殊到一般，类比推理就是根据两个对象有部分属性相类似，推出这两个对象的其他属性相类似的一种思维方法。数学中的逻辑推理能力是指正确地运用思维规律和形式对数学对象的属性 或数学问题进行分析综合，推理证明的能力。数学逻辑推理能力是学生数学水平的显著标志。是数学教师进行教学的重要环节和要求。 在数学教学过程中，教给学生数学结论并不重要，重要的是有数学思维过程，教给学生数学思维的方法。特别是逻辑推理方法。“授人以鱼，不如授人以渔”。 根据逻辑推理的要求和特点，在平面几何的教学过程中，要培养学生的逻辑推理能力，必须抓好概念，公理，定理，命题的教学。几何概念是构成几何理论体系的骨架，支柱。几何理论体系是由一系列相关的几何概念组成，是构成几何理论的依据。只有深刻理解领会概念的本质特征，才能更好理解几何的原理实质，才能知道如何应用概念去推理，去验证，求证结论，假设的真假性。命题的教学是培养学生逻辑推理能力另一重要方面。任何一个判断，都是建立在命题基础

上，要知道命题的结构，它是由题设，结论组成，其基本表达方式是“如果------，那么------”的形式。命题分为真命题，假命题。命题的四种形式，即原命题，逆命题，否命题，逆否命题。而公理是不需要证明正确的命题，定理是经过证明是正确的命题。因此，命题的教学相当重要和关键。在教学中，概念命题教学是培养学生逻辑推理的基础。 要培养学生逻辑推理能力，需明确逻辑推理的书写格式，推理的书写要得心应手。在平面几何证明即逻辑推理过程中，书写的基本格式有两种。即传统格式和推出格式。对于传统格式，即“因为，所以”格式。要求学生对条件，定理，公理要清楚，灵活应用。做到推理步步有依据，知道上步的条件下应得的结论。在掌握了传统格式后，可以用推出格式进行证明。推出格式书写简明，精练。是证明中的较好格式。 要培养学生的逻辑推理能力，必须让学生能够正确识图，作图。具有空间观念，空间想象能力。能把图形与数结合，培养数形结合思想，善于在图中找到所需条件，能由条件画出所需要的图形。在平时的教学中，需要对学生经过较长时间的训练和巩固。 在平行线的教学中，必须重视平行线的概念，平行线的判定和性质及应用。要注意是在同一个平面内，不相交的两直线叫平行线，因而在同一平面内两直线的位置关系只有平行和相交，而相交的特例是两直线互相垂直。平行线的性质三条，要理解先有两直线平行，再有角的关系；反之，把题设和结论交换就是判定，即有角的关系，再有两直线的位置关系。对于学生一定要搞清楚题设与结论及他们之间的

六年级举一反三逻辑推理

专题简析： 解数学题，从已知条件到未知的结果需要推理，也需要计算，通常是计算与推理交替进行，而且这种推理不仅是单纯的逻辑推理，而是综合运用了数学知识和专门的生活常识相结合来运用。这种综合推理的问题形式多样、妙趣横生，也是小学数学竞赛中比较流行的题型。 解答综合推理问题，要恰当地选择一个或几个条件作为突破口。统称从已知条件出发可以推出两个或两个以上结论，而又一时难以肯定或否定其中任何一个时，这就要善于运用排除法、反证法逐一试验。 当感到题中条件不够时，要注意生活常识、数的性质、数量关系和数学规律等方面寻找隐蔽条件。 例题1：小华和甲、乙、丙、丁四个同学参加象棋比赛。每两人要比赛一盘。到现在为止，小华已经比赛了4盘。甲赛了3盘，乙赛了2盘，丁赛了1盘。丙赛了几盘？ 1、A，B，C，D，E五位同学一起比赛象棋，每两人都要比赛一盘。到现在为止，A已经比赛了4盘。B赛了3盘，C赛了2盘，D赛了1盘。E赛了几盘？ 2、A先生和A太太以及三对夫妻举行了一次家庭晚会。规定每两人最多握手一次，但不和自己的妻子握手。握手完毕后，A先生问了每个人（包括他妻子）握手几次？令他惊讶的是每人答复的数字各不相同。那么，A太太握了几次手？ 3、五位同学一起打乒乓球，两人之间最多只能打一盘。打完后，甲说：“我打了四盘”。乙说：“我打了一盘”。丙说：“我打了三盘”。丁说：“我打了四盘”。戊说：“我打了三盘”。 你能肯定其中有人说错了吗？为什么？

例题2：图32-2是同一个标有1，2，3，4，5，6的小正方体的三种不同的摆法。图中正方体三个朝左的一面的数字之积是多少？ 1、图32-3是同一个标有1，2，3，4，5，6的小正方体的三种不同的摆法。图中正方体三个朝左的一面的数字之和是多少？ 2、将红、黄、蓝、白、黑、绿六种颜色分别涂在正方体各面上（每一面只涂一种颜色）。现有涂色方式完全一样的相同的四块小正方体，把它们拼成长方体（如图32-4所示），每个小正房体红色面的对面涂的是什么颜色？黄色对面的？黑色对面呢？ 3、如图32-5所示，每个正方体的6个面分别写着数字1～6，并且任意两个相对的面上所写的两个数之和都等于7。把这样的5个正方体一个挨一个连接起来后，金挨着的两个面上的数字之和等于8。图中写？的这个面上的数字是几？

浅谈课堂教学中学生逻辑推理能力的培养

课堂教学中学生逻辑推理能力的培养 郑雄 逻辑推理是根据一个判断或一些判断得出另一个新的判断的思维形式，它是逻辑思维的最基本的形式之一。黑格尔曾说过：“任何科学都是应用逻辑”。伟大的物理学家爱因斯坦则认为：“作为一个科学家他必须是一个严谨的逻辑推理者，科学家的目的是要得到关于自然界的一个逻辑上前后一贯的摹写。”可见逻辑推理能力是科学家必须具备的最重要、最基本的思维能力。 物理学科以逻辑严密而著称，物理学中每个概念的形成过程、每个规律的建立过程都是一个严密的逻辑推理过程，每个物理问题的解决过程也是一个严密的逻辑推理过程，因此逻辑推理能力被作为高考物理学科考核的五种基本能力之一，在历年的高考中得到了充分的体现。它要求根据已知的知识和物理事实条件，对物理问题进行逻辑推理和论证，从而得出正确的结论或作出正确的判断，并将推理过程正确地表达出来。这就要求物理教师在教学中重视培养学生的逻辑推理习惯，提高他们严密的逻辑推理能力。 由于我国目前的中学教学模式是课堂教学结构模式，知识传授都是在课堂教学中进行的，因此在课堂教学中培养学生的逻辑推理能力是最直接、最有效的途径。 一. 重视课堂结构设计的逻辑性。学生是课堂教学的主体，而教师则起着主导作用，教师的一言一行都会成为学生模仿的对象；自然，课堂结构的逻辑性就对学生起着潜移默化的影响。因此教师在课堂结构的设计上要把握全局，要十分重视各个阶段的逻辑结构——从旧课内容的复习到新课的引入，到新课内容的讲解；新课讲解从某一内容的结束到另一内容的开始，这之间内容的过渡，甚至语言的衔接；最后到课堂小结……所有这些，都必须做到认真考虑，精心设计，做到层层深入，环环入扣，体现出非常严密的逻辑性。 这严密的逻辑性来自教师备课时对教材的认真钻研，反复推敲，掌握教材本身的逻辑性。 以教材中“带电粒子在磁场中作圆周运动”一节为例，可进行这样的层次设计（仅选择内容讲解部分）： 根据教材的要求，首先指出：带电粒子速度与磁场垂直时，洛仑兹力的方向将同时垂直于磁场和速度的方向，因此带电粒子只能在垂直于磁力线的平面内作某种曲线运动。然后指出：因洛仑兹力始终与速度方向垂直，所以洛仑兹力将永不做功，由动能定理可知带电粒子的速率将保持不变，从而得出带电粒子只能作速度大小不变而方向不断改变的匀速率曲线运动。然后讨论得出曲线运动的轨迹：通过回顾力学中已学过的圆周运动的知识，洛仑兹力永远与运动方向垂直，而且大小又不改变，正好提供给带电粒子作圆周运动的向心力。通过以上师生的共同讨论和分析，带电粒子在匀强磁场中将作匀速圆周运动就确定无疑了。运动的大致形态也就在学生的脑海中浮现出来。紧接着，教师用多媒体模拟演示微观带电粒子在磁场中作圆周运动的图象。最后，用洛仑兹力演示仪演示从电子枪中发出的电子射线在磁场中形成的圆周运动轨迹。通过以上引导，学生从理性的推

逻辑推理

逻辑推理 1．小赵、小钱、小孙三人，一位是律师，一位是医生，一位是教师。现在只知道：（1）小孙比教师年龄大。 （2）小赵和医生不同岁。 （3）医生比小钱年龄小。 你能确定谁是律师，谁是医生，谁是教师吗？ 2．一位警察，抓获4个盗窃嫌疑犯甲、乙、丙、丁，他们的供词如下：甲说：“不是我偷的。” 乙说：“是甲偷的。” 丙说：“不是我。” 丁说：“是乙偷的。” 他们4人中只有一个人说的是真话，你知道谁是小偷吗？ 3．江波、潘峰、刘荣3位老师共同担任六年级（1）班语文、数学、政治、体育、音乐和美术6门课的老师，每人教两门。现在知道： （1）政治老师和数学老师是邻居。 （2）潘峰最年轻。 （3）江波喜欢和体育老师、数学老师交谈。 （4）体育老师比语文老师年龄大。 （5）潘峰、音乐老师、语文老师3人经常一起去游泳。 你能说出3人分别教哪两门课吗？

4．张同、李想、王冰冰三人分别是六年级1班、2班、3班的学生，他们中有一人喜欢围棋，有一人喜欢象棋，有一人喜欢跳棋，现已知： （1）张同不喜欢围棋，李想不喜欢象棋； （2）喜欢围棋的不是2班的学生； （3）1班的学生喜欢玩象棋； （4）李想不是3班的学生。 你知道张同、李想、王冰冰各自的爱好和所在的班级吗？ 5．5个班进行4项环保知识竞赛（每班2名学生参赛），每项比赛每班出1名学生参赛。第一项参赛的是吴、孙、赵、李、王；第二项参赛的郑、孙、吴、李、周；第三项参赛的是赵、张、吴、钱、郑；第四项参赛的是周、吴、孙、张、王。另外，刘某因故4项均未参加。问:谁和谁是同一个班的？ 6．三个好朋友大学毕业以后选择了不同的职业，其中一个人当了记者。有一次别人问起他们中谁是记者时，A说：“我是记者。”B说：“我不是记者。”C说：“A说的是假话。”他们三个人中只有一个人说了真话，你能猜出谁是记者吗？

如何培养学生的逻辑思维能力

数学中的逻辑思维能力是指根据正确思维规律和形式对数学对象的属性进行分析综合、抽象概括、推理论证的能力。 在初中数学教学中，要提高学生的学习成绩，必须使学生具有较强的应变能力，而应变能力要得到提高，就必须十分注意培养学生的思维能力。 初中阶段大部分学生的感觉、知觉、注意、记忆以及情感、意志仍大量保留着小学阶段的种种特点，大多数学生的思维特点还处在形象思维向抽象思维过渡的阶段，即是以形象思维为主，正在萌芽抽象思维，因此，在这个阶段来培养他们思维能力，就显得更为重要。中学数学内容是通过逻辑论证来叙述的，数学中的运算、证明、作图都蕴含着逻辑推理的过程。因此，在传授数学知识过程中须严格遵守逻辑规律，正确运用逻辑思维形式，作出示范，潜移默化是培养学生逻辑思维能力的宽广途径。 一、创造条件提高学生的逻辑思维能力 要善于调动学生内在的思维能力，培养兴趣，促进思维。兴趣是最好的老师，也是每个学生自觉求知的内动力。教师要精心设计每节课，要使每节课形象、生动，有意创造动人的情境，设置诱人的悬念，激发学生思维的火花和求知的欲望。经常指导学生运用已学的数学知识和方法解释自己所熟悉的实际问题。新教材中安排的想一想、读一读不仅能扩大知识面，还能提高同学的学习兴趣。适当分段，分散难点，创造条件让学生乐于思维。如列方程解应用题是学生普遍感到困难的内容之一，主要困难在于掌握不好用代数方法分析问题的思路，习惯用小学的算术解法，找不出等量关系，列不出方程。因此，在教列代数式时有意识地为列方程的教学作一些准备工作，启发同学从错综复杂的数量关系中去寻找已知与未知之间的内在联系。通过画草图列表，配以一定数量的例题和习题，使同学们能逐步寻找出等量关系，列出方程。并在此基础进行提高，指出同一题目由于思路不一样，可列出不同的方程。这样大部分同学都能较顺利地列出方程，碰到难题也会进行积极的分析思维。同时要鼓励学生独立思维。初中生受经验思维的影响，思维容易雷同，缺乏探索精神。因而要多鼓励学生敢于发表不同的见解，促进学生思维的广阔性。要学生善于思维，必须重视基础知识和基本技能的学习，没有扎实的双基，思维能力是得不到提高的。数学概念、定理是推理论证和运算的基础，准确地理解概念、定理是学好数学的前提。在教学过程中要提高学生观察分析、由表及里、由此及彼的认识能力。在例题课中要把解题思路的发现过程作为重要的教学环节。不仅要学生知道该怎样做，还要让学生知道为什么要这样做，是什么促使你这样做，这样想的。这个发现过程可由教师引导学生完成，或由教师讲出自己的寻找过程。在数学练习中，要认真审题，细致观察，对解题起关键作用的隐含条件要有挖掘的能力。学会从条件到结论或从结论到条件的正逆两种分析方法。在解题过程中尽量要学会数学语言、数学符号的运用，以提高学生的思维能力。 二、概念教学培养学生的逻辑思维能力 学生的逻辑思维的培养首先要落实在数学概念教学中。数学概念是理性认识中的一种基本形式，是数学思维的基础。因此，在数学概念的教学中，要使学生认识到概念引入的必要性、形成过程和对概念的深刻理解。引入概念时教师必须创设思维的情景，激发学生学习动机和兴趣，应从多渠道引导学生对概念的内涵和外延的认识逐渐深化，使学生的思维向纵深发展，通过对概念的层层深入，发展了学生的数学思维，培养了学生的逻辑能力，为学生逻辑思维的发展打下良好的基础。 三、几何证题培养学生的逻辑思维能力 培养学生逻辑思维能力的另一途径，是教会学生在运用逻辑知识进行推理论证过程中提高他们抽象概括、分析综合、推理证明的能力。 我们知道，在中学数学教材中，运用了许多与逻辑知识有关的推理证明方法。因此，在数学教学过程中，可以结合具体数学内容通俗地讲授一些必要的逻辑知识，使学生能运用它来指

人工智能原理教案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}，求θ与λ的合成。 解： 先求出集合

六年级奥数讲义第32讲逻辑推理(二)

第三十二周逻辑推理（二） 专题简析： 解数学题，从已知条件到未知的结果需要推理，也需要计算，通常是计算与推理交替进行，而且这种推理不仅是单纯的逻辑推理，而是综合运用了数学知识和专门的生活常识相结合来运用。这种综合推理的问题形式多样、妙趣横生，也是小学数学竞赛中比较流行的题型。 解答综合推理问题，要恰当地选择一个或几个条件作为突破口。统称从已知条件出发可以推出两个或两个以上结论，而又一时难以肯定或否定其中任何一个时，这就要善于运用排除法、反证法逐一试验。 当感到题中条件不够时，要注意生活常识、数的性质、数量关系和数学规律等方面寻找隐蔽条件。 例题1： 小华和甲、乙、丙、丁四个同学参加象棋比赛。每两人要比赛一盘。到现在为止，小华已经比赛了4盘。甲赛了3盘，乙赛了2盘，丁赛了1盘。丙赛了几盘？ 这道题可以利用画图的方法进行推理，如图32-1所示，用5个点分别表示小华、甲、乙、丙、丁。如果两人之间已经进行了比赛，就在表示两人的点之间连一条线。现在小华赛4盘，所以小华应与其余4个点都连线…… 甲赛了3盘。由于丁只赛了一盘，所以甲与丁之间没有比赛。那么，就连接甲、乙和甲、丙。这时，乙已有了两条线，与题中乙赛2盘相结合，就不再连了。所以，从图32-1中可以看出，丙与小华、甲各赛一盘。即丙赛了两盘。 练习1： 1、A，B，C，D，E五位同学一起比赛象棋，每两人都要比赛一盘。到现在为止，A 已经比赛了4盘。B赛了3盘，C赛了2盘，D赛了1盘。E赛了几盘？ 2、A先生和A太太以及三对夫妻举行了一次家庭晚会。规定每两人最多握手一次，但不和自己的妻子握手。握手完毕后，A先生问了每个人（包括他妻子）握手几次？令他惊讶的是每人答复的数字各不相同。那么，A太太握了几次手？ 3、五位同学一起打乒乓球，两人之间最多只能打一盘。打完后，甲说：“我打了四盘”。乙说：“我打了一盘”。丙说：“我打了三盘”。丁说：“我打了四盘”。戊说：“我打了三盘”。 你能肯定其中有人说错了吗？为什么？ 例题2： 图32-2是同一个标有1，2，3，4，5，6的小正方体的三种不同的摆法。图中正方体三个朝左的一面的数字之积是多少？ 用排除法排除不符合条件的情形，最后剩下的情况就是所要的结果。 由（1）、（2）两个图可以看出，1的对面不可能为4，6，2，3，所以1的对面必为5；由（2）、（3）两个图形可以看出，3的对面不可能为1，2，4，5，所以3的对面必为6。由此可知，4的对面必定为2。上面正方体三个朝左一面的数字依次为2，5，6。所以它们的积为2×5×6=60。 练习2： 1、图32-3是同一个标有1，2，3，4，5，6的小正方体的三种不同的摆法。图中正方体三个朝左的一面的数字之和是多少？ 2、将红、黄、蓝、白、黑、绿六种颜色分别涂在正方体各面上（每一面只涂一种颜色）。现有涂色方式完全一样的相同的四块小正方体，把它们拼成长方体（如图32-4所示），每个

培养学生的几何逻辑推理能力

培养学生的几何逻辑推理能力 数学思维能力是数学素质的重要表现，如何在几何课中培养学生的逻辑推理能力是需要认真探索的 .几何的学习和研究时时刻刻在概念、判断、推理过程中运动着，而概念、判断、推理是逻辑思维的基本形式，其它知识内容，如性质、定理、公式等无非是一种判断 我们要让孩子们大胆地去发现、大胆地去归纳，大胆地去猜想。 教学中，初中七年级就开始学习几何，让学生尽快地掌握推理的方法及运用。推理能力的培养要有层次性，先让学生看到现象能够初步的说明道理，由此出发再慢慢的规范化、形式化，再变成证明，一点一点走可能会走的更扎实一点。例如 :平行线的性质和判定方法的证明及应用，通过填注推理依据和简单论证过程的几次交替练习,在学生对简单的证明题初步熟悉的基础上,作系统小结,向学生指明:证明一个命题的过程就是从这个命题的题设出发......先让学生初步的说明道理，再对常见几何证明题推理过程的训练，提高学生的推理能力，最后，给出证明过程。培养学生分析 平面几何教学并不是难不可攀，不可逾越，只要我们掌握了平面几何教学的规律，不但学生不会感到困难，而且相当多的同学会对几何的学习产生浓厚的兴趣，收到良好的成效 . 初中数学中，在空间和图形的学习过程中，难点很多，解决策略也很多，我们可以归纳为：在平面几何教学中力求做到三个“突出”，三个“克服” . 1 ．突出一个“趣”字，克服一个“难”字 . 突出一个“趣”字，克服一个“难”字，就是要培养学生学习平面几何浓厚的兴趣，调动学生的非智力因素，要精心设计教学情境，把几何课讲得活灵活现，使学生爱学、乐学 . 2 ．突出一个“动”字，克服一个“灌”字 . 突出一个“动”字，克服一个“灌”字，就是要根据学生的年龄特征，给学生创造动手、动口、动脑的问题情境 . 3. 突出一个“思”字，克服一个“死”字 . 突出一个“思”字，克服一个“死”字，就是要设计问题情境，给学生的头脑插上思维的翅膀 . 教学不得法，学生必然会感到困难；教学有法，不但学习几何不感到难，而且会产生浓厚的兴趣 . 教学有法，教无定法，因加精彩材施教，讲究实效，这是我们应该遵循的原则 .有了教学良性循环，学习将会变得更加精彩。

实现基于谓词逻辑的归结原理

河南城建学院 《人工智能》实验报告 实验名称：实现基于谓词逻辑的归结原理 成绩：____ 专业班级： 学号： 姓名： 实验日期：20 14 年 05 月 13日 实验器材：一台装PC机。 一、实验目的 熟练掌握使用归结原理进行定理证明的过程，掌握基于谓词逻辑的归结过程中，子句变换过程、替换与合一算法、归结过程及简单归结策略等重要环节，进一步了解机器自动定理证明的实现过程。 二、实验要求 对于任意给定的一阶谓词逻辑所描述的定理，要求实现如下过程： (1) 谓词公式到子句集变换； (2) 替换与合一算法； (3) 在某简单归结策略下的归结。 三、实验步骤 步1 设计谓词公式及自居的存储结构，即内部表示。注意对全称量词?x和存在量词?x可采用其他符号代替； 步2 实现谓词公式到子句集变换过程； 步3 实现替换与合一算法； 步4 实现某简单归结策略；

步5 设计输出，动态演示归结过程，可以以归结树的形式给出； 步6 实现谓词逻辑中的归结过程，其中要调用替换与合一算法和归结策略。 四、代码 谓词公式到子句集变换的源代码： #include #include #include #include using namespace std; //一些函数的定义 void initString(string &ini);//初始化 string del_inlclue(string temp);//消去蕴涵符号 string dec_neg_rand(string temp);//减少否定符号的辖域 string standard_var(string temp);//对变量标准化 string del_exists(string temp);//消去存在量词 string convert_to_front(string temp);//化为前束形 string convert_to_and(string temp);//把母式化为合取范式 string del_all(string temp);//消去全称量词 string del_and(string temp);//消去连接符号合取% string change_name(string temp);//更换变量名称 //辅助函数定义 bool isAlbum(char temp);//是字母 string del_null_bracket(string temp);//删除多余的括号 string del_blank(string temp);//删除多余的空格 void checkLegal(string temp);//检查合法性 char numAfectChar(int temp);//数字显示为字符 //主函数 void main() { cout<<"------------------求子句集九步法演示-----------------------"<

2019年小学六年级奥数题-专题训练之逻辑推理问题

2019年小学六年级奥数题-专题训练之逻辑推理问题 1、甲、乙、丙、丁四位同学的运动衫上印了不同的号码。赵说：甲是2号，乙是3号；钱说：丙是4号，乙是2号；孙说：丁是2号，丙是3丙；李说：丁是1号，乙是3号。又知道赵、钱、孙、李每人都说对了一半，那么，丙的号码是( )号。 2、有一种俱乐部，里面的成员可以分成两类。第一类是老实人，永远说真话。第二类是骗子，永远说假话。某天俱乐部全体成员围着一张圆桌坐下，每个老实人的两旁都是骗子，每个骗子的两旁都是老实人。记者问俱乐部成员张三：俱乐部共有多少成员？张三回答：有45人。李四说：张三是老实人，那么李四是老实人还是骗子？ 3、一次游泳比赛，由甲、乙、丙、丁四个人参加决赛，赛前他们对比赛各说了一句话。甲说：我第一，乙第二。乙说：我第一，甲第四。丙说：我第一，乙第四。丁说：我第四，丙第一。比赛结果无并列名次，且各人都只说对了一半。那么，丁是第（）。 4、30名学生参加数学竞赛，已知参赛者中任何10人里都至少有一名男生，那么男生至少有（）人。 5、甲、乙、丙、丁四人进行羽毛球双打比赛，已知：（1）甲比乙年轻；（2）丁比他的两个对手年龄都大；（3）甲比他的同伴年龄大；（4）甲与乙的年龄差距要比丙与丁的年龄差距大。试判断谁与谁是同伴，并说出四人年龄从小到大的顺序。

6、一次国际足球邀请赛上，来自欧洲、美洲、亚洲、大洋洲、非洲的5支队伍均已到齐了，分组抽签仪式上，几位记者对各队的编号展开了讨论。A记者：3号是欧洲队，2号是美洲队；B记者：4号是亚洲队，2号是大洋洲队；C记者：1号是亚洲队，5号是非洲队；D记者：4号是非洲队，3号是大洋洲队；E记者：2号是欧洲队，5号是美洲队。结果，每人都只猜对了一半，那么1号是（）队，3号是（）队。 7、老师给甲、乙、丙各发一张写着不同整数的卡片。 老师：甲的卡片上写着一个两位整数，乙的卡片上写着一个一位整数，丙的卡片上写着一个比60小的两位整数，且甲的数×乙的数＝丙的数。请大家先看一下自己的数，然后猜一猜其他两位同学的数是多少？ 甲：我猜不出其他两个人的数。 丙：我也猜不出其他两个人的数。 甲听了丙的话，问乙：你能猜出我和丙的数吗？ 乙：我猜不出你们两人的数。 听到这里，甲：我已经道乙丙的数，乙的数是（），丙的数是（）。对不对？ 那么，三个人手中的卡片上的数各是多少？ 甲是（），乙是（），丙是（） 8、三个盒子里分别装有两个红球，两个白球和一红一白球，但盒子外面的标签都贴错了。如果只从其中一盒里摸出一个球，就要肯定判断出三个盒子里各装什么球，必须从贴（）球的盒子里摸出一个球；若是（）色球，则这个盒子装的是（）球，那么贴（）球的盒子里装的是（）球，剩下的盒子里是（）球。 9、甲、乙、丙三个学生分别戴着三种不同颜色的帽子，穿着三种不同颜色的衣服去参加一次争办奥运会的活动，已知： （1）帽子和衣服的颜色都只有红、黄、蓝三种； （2）甲没戴红帽子，乙没戴黄帽子； （3）戴红帽子的学生没有穿蓝衣服； （4）戴黄帽子的学生没有穿红衣服； （5）乙没有穿黄色衣服。 试问：甲、乙、丙三人各戴什么颜色的帽子？穿什么颜色的衣服？