离散数学课件作者杨圣洪张英杰陈义明章节2谓词逻辑.pptVIP

第二章 谓词逻辑 杨圣洪 引言 命题逻辑好像功能强大，但还是有些问题难以解决。 如杨圣洪要喝水、刘翔要喝水、姚明要喝水、姚晨要喝水、刘德华要喝水、……，可归纳为“某某要喝水”，无法表示。 所有的人都要呼吸、喝水、吃饭……，“所有”如何表示呢？ 有些人要升官、有些人要失恋……，“有些”又如何表示？ 所有男人都会多看几眼漂亮女人 所有女人都会多喜欢漂亮的衣服 又如有名三段论：所有人都是要变老的，杨圣洪是人，所以杨圣洪也会变老的，无法表示。 为此需要我们学习新的逻辑工具-谓词逻辑或一阶逻辑 2.1基本概念 1、谓词 “某某要喝水”、“喜欢漂亮衣服”、“喜欢帅哥”、“结婚生崽”都是所在句子的谓语部分。 命题逻辑中用大写字母表示命题。 谓词逻辑中用大写字母表示谓语部分，如 用W表示“要喝水”， 用L表示“喜欢漂亮衣服”， 用H表示“喜欢帅哥”， 用M表示“结婚生崽”。 这些表示谓语部分的大写字母，称为“谓词”。 2.1基本概念 2、个体常元 表示某种判断的语句一般都有主语。 主语是表示某个、某些客体，也称为个体。 如“刘翔”、“姚明”。 为了描述方便，常用小写字母表示这些个体。 如a表示“刘翔”， c表示“姚明”， 这些表示具体个体的小写字母，称为“个体常元”