北方交通大学理学院.ppt

在命题演算中，基本研究单位是原子命题，也就是对原子命题不再分解，对研究命题间的关系而言是较适合的。 命题演算的推演中存在很大的局限性，有些简单的推断不能用命题演算进行推证。 例如， 三段论推理。 在谓词演算中，将原子命题分解为谓词 和客体 两部分。 记号： 记号： 定义1：由一个谓词和一些变元所组成的表达式称为简单命题函数。 全称量词： ?：表示“对所有的”，“每一个”，“对任意一个” 存在量词 ?：表示“存在一些”，“至少有一个”，“对于一些” （3）量词作用域的扩张与收缩 量词的作用域中常有合取项或析取项，如果其中一个为命题，则可将该命题移至量词作用域外。如 (?x) (A(x) ? B)? (?x) A(x)? B (?x) (A(x) ? B)? (?x) A(x) ? B (?x)(A(x) ? B)? (?x) A(x)? B (?x)（ A(x) ? B? (?x) A(x)?B (?x) (A(x) ? B)? (?x)( A(x) ? B) ((?x)(A(x) ? B))? (?x) (A(x) ? B) (B ? (?x)(A(x))? (?x)(B ?A(x)) B ? (?x) (A(x) ? (?x)(B ? A(x)) （3）量词与命题联结词的一些等价式与蕴涵式 量词与命题联结词的一些等价式与蕴涵式 （4）多个量词的使用 以两个量词对于二元谓词的情况为例 (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) （3）量词作用域的扩张与收缩 量词的作用域中常有合取项或析取项，如果其中一个为命题，则可将该命题移至量词作用域外。如 (?x) (A(x) ? B)? (?x) A(x)? B (?x) (A(x) ? B)? (?x) A(x) ? B (?x)(A(x) ? B)? (?x) A(x)? B (?x)（ A(x) ? B? (?x) A(x)?B (?x) (A(x) ? B)? (?x)( A(x) ? B) ((?x)(A(x) ? B))? (?x) (A(x) ? B) (B ? (?x)(A(x))? (?x)(B ?A(x)) B ? (?x) (A(x) ? (?x)(B ? A(x)) （3）量词与命题联结词的一些等价式与蕴涵式 量词与命题联结词的一些等价式与蕴涵式 （4）多个量词的使用 以两个量词对于二元谓词的情况为例 (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) (?y)(?x)A(x,y) (?y)(?x)A(x,y) (?x)(?y)A(x,y) 例 设 A(x,y)表示x和y同姓,论域x是甲村的人,y是乙村的人,则 (?x)(?y)A(x,y): 甲村和乙村所有的人都同姓。 (?y)(?x)A(x,y)： 乙村和甲村所有的人都同姓。 显然上述俩语句的含义相同。故 （3）量词作用域的扩张与收缩 量词的作用域中常有合取项或析取项，如果其中一个为命题，则可将该命题移至量词作用域外。如 (?x) (A(x) ? B)? (?x) A(x)? B (?x) (A(x) ? B)? (?x) A(x) ? B (?x)(A(x) ? B)? (?x) A(x)? B (?x)（ A(x) ? B? (?x) A(x)?B (?x) (A(x) ? B)? (?x)( A(x) ? B) ((?x)(A(x) ? B))? (?x) (A(x) ? B) (B ? (?x)(A(x))? (?x)(B ?A(x)) B ? (?x) (A(x) ? (?x)(B ? A(x)) （3）量词与命题联结词的一些等价式与蕴涵式 量词与命题联结词的一些等价式与蕴涵式 （4）多个量词的使用 以两个量词对于二元谓词的情况为例