一阶逻辑基本课题.pptVIP

为什么要研究一阶逻辑 命题逻辑的局限性 在命题逻辑中,命题是最基本的单位,对简单命题不再分解,并且不考虑命题间的内在联系和数量关系,具有局限性. 考虑下面的推理: 凡偶数都能被2整除.6是偶数.所以,6能被2整除. 在数学中这是真命题,但在命题逻辑中却无法判断它的正确性. 因将以上三个简单命题依次符号化为p,q,r,则将推理的形式 结构化为: (p ? q )?r (非重言式,推理错误) 克服命题逻辑的局限性:一阶逻辑(谓词逻辑) 第四章 一阶逻辑基本概念 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 第四章 一阶逻辑基本概念 4.1 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域(论域)——个体变项的取值范围 有限个体域，如 {a, b, c}, {1, 2} 无限个体域，如 N, Z, R, … 全总个体域——由宇宙间一切事物组成 注:在推理中如不指明所采用的个体域,都是使用全总个体域. 谓词 谓词——表示个体词性质或相互之间关系的词P55 谓词常项 表示具体性质或关系。如, 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元谓词——不含个体变项的谓词, 即命题常项 或命题变项 如 P56 例4.1 量词 量词——表示数量的词 全称量词?: 表示所有的. ?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 实例1 实例1解答 实例2 例 2 在一阶逻辑中将下面命题符号化 (1) 人都爱美 (2) 有人用左手写字 个体域分别为 (a) D为人类集合 (b) D为全总个体域 解 (a) (1) ?xF(x), F(x)：x爱美 (2) ?xG(x), G(x)：x用左手写字 (b) M(x)：x为人，F(x)：x爱美 (1) ?x(M(x)?F(x)) (2) ?x(M(x)?G(x)) 1. 引入特性谓词M(x) 2. (1),(2)是一阶逻辑中两个“基本”公式 实例3 例3 在一阶逻辑中将下面命题符号化 (1) 正数都大于负数 (2) 有的无理数大于有的有理数 解 (注意：题目中没给个体域，一律用全总个体域) (1) 令F(x)：x为正数，G(y)：y为负数, L(x,y)：xy ?x(F(x)??y(G(y)?L(x,y))) 或者 ?x?y(F(x)?G(y)?L(x,y)) (2) 令F(x)：x是无理数，G(y)：y是有理数，L(x,y)：xy ?x(F(x)??y(G(y)?L(x,y))) 或者