《离散数学》第2章的 谓词逻辑.pptVIP

第二章 谓词逻辑 ;一、谓词逻辑研究的内容。;二、个体词，谓词，量词。 ;个体域(或称论域)——个体变项取值的范围。 ;：小王， ;例如：李华是大学生， ;2、量词——表示数量的词。 ;(3) 在引入特性谓词后，使用全称量词用“;三、命题符号化。 ;(2) 有的有理数是整数。 ;例2、在一阶逻辑中将下列命题符号化。 ;(3) 没有不犯错误的人。 ;(4) 每列火车都比某些汽车快。 ;例3 设个体域为实数集，令 是整数． 是有理数． ． ． 试用日常语言叙述下列命题，并指出其真值． ;（2）存在着实数 ，使得对于任意实数 ，都有 ．该命题真值为0． （3）存在着实数 和 ,使得 且 ．该命题真值为1 ． （4）对于任意实数 ，存在着实数 ，使得 且 ，;内容： ;一、一阶逻辑中的合式公式。 ;2、元的递归定义。 ;3、原子公式。 ;(5) 只有有限次地应用(1)－(4)构成的符号串 ;例1、指出下列各合式公式中的指导变项，量词的;闭式(封闭的合式公式) —— ;二、合式公式的解释。 ;例2 给定解释 如下： ;解： 设（1）、（2）、（3）、（4）中公式分别为 ．在解释 下， ;2、逻辑有效式(永真式)，矛盾式(永假式)，;有一些公式，可以利用命题公式的结论。 ;例如： ;例3、判断下列公式中哪些是逻辑有效式，;(重言式) ， ;(4) ;内容： ;一、一阶逻辑等值式。 ;定理2．1 量词否定等值式。 ;定理2．3 量词辖域收缩与扩张等值式。 ;定理2．4 多个量词间的次序排列等值式。 ;而 ;例2、求下列公式的前束范式。 ;（换名规则） ;内容： ;一、谓词逻辑推理的概念。 ;2、量词分配定律。 ;二、推理规则。 ;2、全称量词引入规则 ;(3);：苏格拉底。 ;例2 指出下面推理的错误． ;证明：;一、谓词逻辑的基本概念。 ;二、谓词逻辑合式公式及解释。 ;三、谓词逻辑等值式。 ;例1、在一阶逻辑中将下列命题符号化。 ;例2、将下列命题译成自然语言，并确定其真值。 ;真值0。 ;设解释I为： 个体域为 ，谓词 ;;例4;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.