4.2 一阶谓词辑表示.pptVIP

一阶谓词逻辑表示的逻辑学基础 命题和真值；论域和谓词；连词和量词； 项与合式公式；自由变元与约束变元 谓词逻辑表示方法 谓词逻辑表示的应用 谓词逻辑表示的特性 4.2 一阶谓词逻辑表示法 命题的定义： 断言：定义1 一个陈述句称为一个断言. 命题：具有真假意义的断言称为命题. 命题的真值： T：表示命题的意义为真 F：表示命题的意义为假 命题真值的说明 一个命题不能同时既为真又为假 一个命题可在一定条件下为真，而在另一条件下为假 一阶谓词逻辑表示的逻辑学基础命题与真值 一阶谓词逻辑表示的逻辑学基础论域和谓词(1/2) 论域：由所讨论对象的全体构成的集合。亦称为个体域 个体：论域中的元素 谓词：在谓词逻辑中命题是用形如P(x1,x2,…,xn)的谓词来表示的 谓词名：是命题的谓语，表示个体的性质、状态或个体之间的关系 个体：是命题的主语，表示独立存在的事物或概念 定义2 设D是个体域，P：Dn→{T，F｝是一个映射，其中 则称P是一个n元谓词，记为P(x1,x2,…,xn)，其中，x1,x2,…,xn为个体，可以是个体常量、变元和函数。 例如：GREATER(x,6) x大于6