第四章一阶逻辑基本概念教学教材.docxVIP

第四章 一阶逻辑基本概念 教学目的与要求】 1．掌握一阶逻辑的命题符号化； 2．理解谓词公式与解释。 【教学重点、难点】 个体词、谓词、量词；谓词公式及其解释。 【教学方法】 ：讲授法 【主要内容】 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 【教学过程】 4.1 一阶逻辑命题符号化 个体词 ——所研究对象中可以独立存在的具体或抽象的客体。 个体常项：具体的事务，用 a, b, c 表示。 个体变项：抽象的事物，用 x, y, z 表示。 个体域 (论域 )——个体变项的取值范围。 有限个体域，如 {a, b, c}, {1, 2}； 无限个体域，如 N,乙R,;… 全总个体域 ——由宇宙间一切事物组成。 谓词 ——表示个体词性质或相互之间关系的词。 谓词常项 如 , 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 元谓词 ――不含个体变项的谓词 , 即命题常项或命题变项。 量词 ――表示数量的词 全称量词 : 表示所有的 . x : 对个体域中所有的 x. 如，xF(x)表示个体域中所有