离散数学第四章的解释.ppt

第四章 一阶逻辑基本概念 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 4.1 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：表示具体或特定的客体的个体词，常用a, b, c表示 个体变项：表示抽象或泛指的个体词，常用x, y, z表示 个体域(论域)——个体变项的取值范围 个体域可以是有穷集合，如 {a, b, c}, {1, 2} , … 也可以是无穷集合，如 自然数集合N, 整数集合Z, 实数集合R, … 全总个体域——由宇宙间一切事物组成，包括万事万物 本书在论述或推理中如不指明所采用的个体域，都是使用全总个体域。 谓词 谓词——表示个体词性质或相互之间关系的词，常用F，G，H，…表示。 谓词常项——表示具体性质或关系的谓词。如, F(a)：a是人 谓词变项——表示抽象的或泛指的性质或关系的谓词。如, F(x)：x具有性质F n（n?1）元谓词——表示以个体域为定义域，以{0 , 1}为值域的n元函数或关系。 一元谓词(n