离散数学第三节
作者：互联网
第三节
目录
-
谓词
为什么要引入谓词逻辑？
--因为命题逻辑的描述方法有时候不能表达永真式，如人终有一死。苏格拉底是人。苏格拉底会死。
谓词逻辑
论域：用U表示。我们研究范围内的试图让x落在其中的范围。。
定义域：使P(X)值为真的所有x的取值范围。
命题函数
命题函数不是命题，但当命题函数定义域被赋值时，变为命题。
命题函数的例子
复合表达式
-
变量
·······
-
量词
通常用括号把量词括起来。
全称量词
存在量词
唯一性量词
判断带有量词的谓词逻辑的真假
量词的性质
量词的优先级
变元约束
例2中：
约束部分：
谓词逻辑等价
量词看成析取或合取联结词的思想
量词表达式的否定
否定量词的德摩根率
命题公式的推广
量词辖域的扩张与收缩
第四个公式的推论：
量词分配等价式
口诀：任合存析
-
语句到逻辑表达式的翻译
解2的自然语言：只要是我们班的学生，就学过java课程。
标签：逻辑,函数,第三节,量词,命题,离散数学,谓词,表达式 来源： https://blog.csdn.net/weixin_49436110/article/details/116780376