人工智能的数学基础144.pptxVIP

李 凌 均 郑州大学振动工程研究所 七月 21;第二章 人工智能的数学基础;2.2.1. 命题 一个具有真假意义的陈述句，称为命题。命题通常用大写的英文字母P，Q，R等来表示,命题是具有或真或假的含义的。如果一个命题的真值为真则用T(或1)表示，若为假则用F(或0)表示 下面的例子均是命题： (1) 郑州大学是一所综合性大学。（T） (2) 2+2=5 （F）。 (3) 今天是个好天气。（T） (4) 每一个奇数都是素数。（F）;下面的例子都不是命题： (1) 现在是几点钟？(疑问句） (2) x-y2（其真假值随x、y的变化而变化，不能确定。） (3) 我在说假话。（悖论，真作假时假亦真，假作真时真亦假） (4) 请安静！（祈使句）;命题逻辑的局限性： 在命题逻辑中我们研究的最小单位是句子,即命题，它无法把所要描述的客观事物的结构及逻辑关系反映出来。也无法把不同对象的共同特征表述出来。很多问题仅用命题逻辑是解决不了的、表达不清的。由此发展了谓词逻辑。;例1：张华是大学生。其中“张华”是个体，“是大学生”是谓语。于是我们可引入一个谓词S（x)来表示x是大学生，张华代以x就表示张华是大学生。 S（x)涉及到一个变元，称为一元谓词，一元谓词表示个体的属性。 例2：张华比李玲高。其中“张华”和“李玲”是个体，“…比…高”是谓词，因为涉及到两个个体，所以我们可以用一个二元谓词