离散数学课件第二章 一阶逻辑教学幻灯片.pptVIP

刘师少;形式逻辑;（1）凡人都是要死的； （2）苏格拉底是人； （3）所以苏格拉底是要死的。 P：凡人都是要死的； Q：苏格拉底是人; R：所以苏格拉底是要死的。 (P∧Q)?R;原因：命题逻辑不考虑命题之间的内在联系 和数量关系。 要反映这种内在联系，就要对命题逻辑进行分析,分析出其中的个体词、谓词和量词，再研究它们之间的逻辑关系，总结出正确的推理形式和规则，这就是一阶(谓词)逻辑的研究内容。 办法：将命题再次细分。; 解决这个问题的方法： 在表示命题时，既表示出主语，也表示出谓语，就可以解决上述问题。这就提出了谓词的概念(谓词是用来刻划个体词的性质或事物之间的关系的词,谓词S(x)相当于一个函数).;2.1.1 个体、谓词和命题函数 在谓词逻辑中，将原子命题分解为谓词和个体两部分。 1、定义：在原子命题中，所描述的对象称为个体；用以描述个体的性质或个体间关系的部分，称为谓词。;例2.1：分析下列个命题中的个体和谓词;（1）?是无理数。 解： 个体：?（代表圆周率） 谓词：···是无理数，表示“?”的性质。 （2）张三与李四同在信息技术学院。 解：个体：张三，李四 谓词： ··· 与···同在信息技术学院 表示“张三”与“李四”之间的关系。 ;（3）x 与 y 的和等于 z （x