ch4一阶逻辑基本概念.ppt

1 主要内容 ? 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 ? 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 第四章 一阶逻辑基本概念 2 4.1 一阶逻辑命题符号化 个体词 —— 所研究对象中可以独立存在的具体或抽象的客体 个体常项 ：具体的事务，用 a , b , c 表示 个体变项 ：抽象的事物，用 x , y , z 表示 个体域 ( 论域 ) —— 个体变项的取值范围 有限个体域，如 { a , b , c }, {1, 2} 无限个体域，如 N, Z, R, … 全总个体域 —— 由宇宙间一切事物组成 3 谓词 谓词 —— 表示个体词性质或相互之间关系的词 谓词常项 如 , F ( a ) ： a 是人 谓词变项 如 , F ( x ) ： x 具有性质 F n （ n ? 1 ）元谓词 一元谓词 ( n =1) —— 表示性质 多元谓词 ( n ? 2) —— 表示事物之间的关系 如 , L ( x , y ) ： x 与 y 有关系 L ， L ( x , y ) ： x ? y ， … 0 元谓词 —— 不含个体变项的谓词 , 即命题常项 或命题变项 4 量词 量词 —— 表示数量的词 全称量词 ? : 表示所有的 . ? x : 对个体域中所有的 x 如 , ? xF ( x ) 表示个体域中所有的 x 具有性质 F ? x ? yG ( x , y ) 表示个体域中所有的 x 和 y 有关系 G 存在量词 ? : 表示存在 , 有一个 . ? x : 个体域中有一个 x 如 , ? xF ( x ) 表示个体域中有一个 x 具有性质 F ? x ? yG ( x , y ) 表示个体域中存在 x 和 y 有关系 G ? x ? yG ( x , y ) 表示对个体域中每一个 x 都存在一个 y 使得 x 和 y 有关系 G ? x ? yG ( x , y ) 表示个体域中存在一个 x 使得对每一个 y , x 和 y 有关系 G 5 实例 1 例 1 用 0 元谓词将命题符号化 (1) 墨西哥位于南美洲 (2) 是无理数仅当 是有理数 (3) 如果 23 ，则 34 2 3 2 解：在命题逻辑中： (1) p , p 为墨西哥位于南美洲（真命题） (2) p → q , 其中 , p ： 是无理数， q ： 是有理数 . 是假命题 (3) p ? q , 其中， p ： 23 ， q ： 34. 是真命题 3 6 实例 1 解答 在一阶逻辑中： (1) F ( a ) ，其中， a ：墨西哥， F ( x ) ： x 位于南美洲 . (2) F ( ) ? G ( ), 其中， F ( x ) ： x 是无理数， G ( x ) ： x 是有理数 (3) F (2, 3) ? G (3, 4) ，其中， F ( x , y ) ： x y ， G ( x , y ) ： x y 2 3 7 实例 2 例 2 在一阶逻辑中将下面命题符号化 (1) 人都爱美 (2) 有人用左手写字 个体域分别为 (a) D 为人类集合 (b) D 为全总个体域 解 (a) (1) ? xG ( x ), G