离散数学-第1章-3.pptVIP

第一章 逻辑与证明 问题的提出与解决 客体、谓词与量词 谓词公式 命题的符号化 等价式与蕴含式 令S(x)表示x是大学生，a:小张，b:小李。 则： S(a): 小张是大学生； S(b): 小李是大学生。 从符号S(a)、S(b)可看出“都是大学生”的共性。 问题的提出与解决 客体、谓词与量词 谓词公式 命题的符号化 等价式与蕴含式 定义：谓词用来描述个体的性质或个体间的关系，用大写字母后加括号表示，括号内为客体变元。如果括号内有n个客体变元，称该谓词为n元谓词。 用 P(x1,x2,…,xn)表示n元谓词。 例 如： S(x):表示x是大学生。 一元谓词 G(x,y)：表示 xy。 二元谓词 B(x,y,z)：表示x在y与z之间。 三元谓词 用 P(x1,x2,…,xn)表示n元谓词。 n元谓词也称简单命题函数，将若干个简单命题函数用逻辑联结词联结起来，构成的表达式，称之为复合命题函数。 简单命题函数与复合命题函数统称为命题函数。 例如 给定简单命题函数： A(