第二章谓词逻辑2015-3-30资料.ppt

第二章 谓词逻辑;前一章介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原子命题。 原子命题作为具有真假意义的陈述句至少是由主语和谓语两部分组成。 例如，电子商务是计算机技术的一个应用系统。 在这里“电子商务”是主语，而“是……”是谓语。 当主语改变为“电子政务”时就得到新的原子命题： 电子政务是计算机技术的一个应用系统。 谓词逻辑是对原子命题作进一步分析，分析出其中个体词、谓词和量词，研究它们形式结构的逻辑关系，正确的推理形式和规则。;定义2.1.1 在原子命题中，所描述的对象称为个体；用以描述个体的 性质或个体间关系的部分，称为谓词。 ;例子：;命题的谓词形式;命题的谓词形式的约定： (a) 对给定命题，小写字母表示个体，大写字母表示谓词，规定把小写 字母写在大写字母右侧的圆括号( )内。 (b)命题的谓词形式中的个体出现的次序影响命题的真值，不得随意变动， 否则真值会有变化。 (c) 用谓词表达命题，必须包括客体和谓词两部分。 ;二、原子谓词 ;论域;由一个或者n个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。 逻辑联结词┐， ∧，∨ ，→ 和 ? 的意义与命题演算中的解释类同。 例1： S(x)：x 学习很好；