《计算机数学基础—离散数学》 谓词逻辑

《《计算机数学基础—离散数学》 谓词逻辑》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第2章谓词逻辑 一、教学要求 1.理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。会将不太复杂的命题符号化。2.掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方法，判别公式类型(永真式、永假式和可满足式)的方法。3.掌握谓词演算的等值式和重言蕴含式(六种情况：(1)命题公式的推广；(2)量词否定式的等值式；(3)量词辖域扩张和收缩的等值式；(4)量词与联结词Ú，Ù，®的等值式；(5)量词与联结词的重言蕴含式；(6)两个量词公式间的等值式与重言蕴含式)。会进行谓词公式的等值演算。4.了

2、解前束范式的概念，会求公式的前束范式。5.了解谓词逻辑推理的规则：全量词消去规则(US规则)；全量词附加规则(UG规则)；存在量词消去规则(ES规则)；存在量词附加规则(EG规则) 本章重点：谓词与量词，公式与解释，前束范式，谓词逻辑推理证明。 二、学习辅导 在命题逻辑中，我们把原子命题作为基本研究单位，对原子命题不再进行分解，只有复合命题才可以分解，揭示了一些有效的推理过程.但是进一步研究发现，仅有命题逻辑是无法把一些常见的推理形式包括进去.例如“凡人要死，张三是人，张三要死”显然是正确推理.用命题逻辑解释三

3、段式.设P：人要死；Q张三是人；R：张三要死。表示成复合命题有PÙQ®R这不是重言式，即R不是前提P，Q的有效结论.这反映了命题逻辑的局限性，其原因是把本来有内在联系的命题P，Q，R，视为独立的命题。要反映这种内在联系，就要对命题逻辑进行分析，分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是谓词逻辑的研究内容。 1.谓词与量词学习这一部分要反复理解谓词和量词引入的意义，概念的含义。在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的客体，它可以是具体事物或

4、抽象的概念，如小张，房子，南京，大米，思想，实数2等等。谓词是用来刻划个体词的性质或事物之间的关系的词。例如(1)(1)   ln5是无理数；(2)(2)   高可比李木相高4cm；(3)郑州位于北京和广州之间。这时三个简单命题，其中ln5，高可，李木相，郑州，北京，广州等都是个体词，而“是无理数”，“……比……高4cm”，“……位于……和……之间”等都是谓词。个体词分个体常项(用a,b,c,d,…表示)和个体变项(用x,y,z,…表示)；谓词分谓词常项(international,Unicominternat

5、ionalmarket,adaptedfuturepeopleoncityofdevelopmentneeds,basedYuindustrysupport,andtrafficadvantage,andYangtzeRiverculture,andecologicalcivilization,advantage,establishedcitydevelopmenttarget:radiationabsorbYangtzeRiverupstreamchuanYunnanGuizhouofregionalcent

6、er,andinternationalecologicallandscapeculturecity.2.3.2economicdevelopmentinYibincity,goal2020GDPreached300billionyuan,thepercapitaGDPreached580002030regionalGDPreached800billionyuan,thepercapitaGDPreached138000.2020industrialstructureadjustmentinYibincityas

7、9:56:35;2030industrialstructureadjustmentforthe6:47:47.Industrialoutputby2020of510billionyuanin2030andreach1.2trillionyuan.2.4oftheurbanpopulationandlandsize2.4.1Yibincity,populationsizeaccordingtothedifferentforecastingmethodsandthesizeofpopulationenvironme

8、ntalcapacitycheck,thedowntownmainfuturepopulationprojectionsfortheyearareasfollows:downtownmainfuturepopulationprojectionsfortheyear(unit:million)forecastmethods,2020,2030,balancingmethodfor130-