北大离散数学02.pptVIP

《集合论与图论》第2讲 第2讲 一阶逻辑基础北京大学 内容提要 1. 量词、谓词、个体词、命题符号化 2. 合式公式、解释、永真式 3. 一阶逻辑等值式 4. 一阶逻辑推理规则 一阶逻辑的字母表 个体常项: a, b, c, …, a1, b1, c1,… 个体变项: x, y, z, …, x1, y1, z1,… 函数符号: f, g, h, …, f1, g1, h1,… 谓词符号: F, G, H, …, F1, G1, H1, … 量词符号: ?, ? 联结词符号: ?, ?, ?, ?, ? 括号与逗号: (, ), ， 谓词(predicate) 谓词：表示性质、关系等；相当于句子中的谓语。 用大写英文字母F,G,H,…,后跟括号与变元来表示。例如： F(x): x是人。 G(x,y): x与y是兄弟。 n元谓词：含有n个变元。例如： F(x)是一元谓词， G(x,y)是二元谓词 量词(quantifier) 全称(universal)量词: ? “所有的”, “全部的”,… 存在(existential)量词: ? “有一些的”, “某些的”,… 唯一(unique)存在量词: ?! “恰好存在一个” 量词(举例)