离散数学4.1-谓词基本概念

一、基本元件 元件 符号 说明 例子 个体词 a, b, c... 代表具体对象（常元） a：小明 个体变元 x, y, z... 代表任意对象 x 表示论域中任一元素 谓词 P(x), Q(x,y)... 表示性质或关系 P(x)：x是学生； L(x,y)：x喜欢y 量词 ∀, ∃ 修饰个体范围 ∀x（所有x）； ∃x（存在x） 连接词 ¬, ∧, ∨, →, ↔ 命