第2章 谓词逻辑 习题课.pptVIP

* 离散数学 Discrete Mathematics 主讲：陈哲云 青岛理工大学计算机工程学院 2011.09 * 谓词逻辑符号化(重点) 谓词公式的解释（难点） 谓词逻辑等值式 谓词逻辑 * 能准确地将给定命题谓词逻辑符号化； 熟练地给出公式的解释； 记住闭式的性质； 会判断简单公式的类型； 会求取谓词公式的前束范式。 基本要求 谓词逻辑符号化 2.1 2.3 2.11 （1）在没有任何说明的情况下，默认个体域为全总个体域，不需对每个问题设定自己的个体域。 （2）谓词的刻画不是越细致越好，根据问题需要提取合适的谓词。 （3）注意量词与联结词的搭配。 （4）每个命题谓词符号化的形式可能不止一种。 * 作业讲解 出错较多的题目：2.3 （1）每个大学生不是文科生就是理科生。 解：设M(x)：x是大学生。 P(x)：x是文科生。 Q(x):x是理科生。 或 * 作业讲解 出错较多的题目：2.3 （2）有些人喜欢所有的花。 解：设M(x)：x是人。 P(x)：x喜欢所有的花。 或 * 设M(x)：x是人。 L(x,y)：x喜欢y。 P(x): x是花。 * 出错较多的题目：2.3 （6）凡是对顶角都相等。 解：设L(x，y)：x与y是对顶角。 H(