3.2谓词逻辑基础.pptVIP

3.2 谓词逻辑基础 一阶逻辑 基本概念 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 3.2 谓词逻辑基础 小王是个工程师。 8是个自然数。 我去买花。 小丽和小华是朋友。 其中，“小王”、“工程师”、“我”、“花”、“8”、“小丽”、“小华”都是个体词，而“是个工程师”、“是个自然数”、“去买”、“是朋友”都是谓词。显然前两个谓词表示的是事物的性质，第三个谓词“去买”表示的一个动作也表示了主、宾两个个体词的关系，最后一个谓词“是朋友”表示两个个体词之间的关系。 3.2 谓词逻辑基础 3.2 谓词逻辑基础 一阶逻辑 公式及其解释 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号： ? ,? 3.2 谓词逻辑基础 量词否定等值式： ～(? x ） P（x） = （ ? y ） ～ P（y） ～(? x ） P（x） = （ ? y ） ～ P（y） 量词分配等值式： (? x ）( P（x） ∧ Q（x）) = (? x ） P（x） ∧ (? x ） Q（x） (? x ）( P（x） ∨ Q（x）) = (? x ） P（x） ∨ (? x ） Q（x） 消去量词等值式：设个体域为有穷集合（a1, a2, …an） (? x ） P（x） = P（ a1 ） ∧ P（ a2 ） ∧ … ∧ P（ an ） (