离散数学第2版课件作者王元元离散第13讲谓词演算基本概念.pptVIP

第13讲 谓词演算基本概念 谓词演算基本概念 内容提要 谓词演算基本概念 个体、个体域 谓词 全称量词、存在量词 约束变元、自由变元 谓词公式 自然语句的形式化 命题演算的局限 所有人都是要死的，苏格拉底是人，那么苏格拉底也是要死的。 p：所有人都是要死的 q：苏格拉底是人 r：苏格拉底是要死的 p∧q┝r：p∧q→r为永真式吗？ 命题演算的局限 p：所有人都是要死的 q：苏格拉底是人 r：苏格拉底是要死的 示例 2是偶数 3是偶数 p: 2是偶数;q:3是偶数 p、q是两个独立的原子命题 模式是：（ ）是偶数 O(x)：x是偶数 p: 2是偶数，可以表示成：O（2） q: 3是偶数，可以表示成：O（3） 示例 6大于4 5大于3 2大于5 三个独立的原子命题，在命题演算中不能再分解 模式是：（ ）大于（ ）,大于是两个数之间的关系 L（x，y）：“x大于y” 6大于4 ，可以表示成：L（6，4） 5大于3 ，可以表示成： L（5，3） 2大于5 ，可以表示成： L（2，5） 示例 3+2=5 2+4=6 两个独立的原子命题，在命题演算中不能再分解 模式是：（ ）+（ ）=（ ） 刻画的是三个数之间的关系 S（x，y，z）：x + y=z 3+2=5 ，可以表示成： S（3，2，5） 2+4=6 ，可以表示成： S（2，4，6）