标签:逻辑 函数 第三节 量词 命题 离散数学 谓词 表达式
第三节
目录
-
谓词
为什么要引入谓词逻辑?
--因为命题逻辑的描述方法有时候不能表达永真式,如人终有一死。苏格拉底是人。苏格拉底会死。
谓词逻辑
论域:用U表示。我们研究范围内的试图让x落在其中的范围。。
定义域:使P(X)值为真的所有x的取值范围。
命题函数
命题函数不是命题,但当命题函数定义域被赋值时,变为命题。
命题函数的例子
复合表达式
-
变量
·······
-
量词
通常用括号把量词括起来。
全称量词
存在量词
唯一性量词
判断带有量词的谓词逻辑的真假
量词的性质
量词的优先级
变元约束
例2中:
约束部分:
谓词逻辑等价
量词看成析取或合取联结词的思想
量词表达式的否定
否定量词的德摩根率
命题公式的推广
量词辖域的扩张与收缩
第四个公式的推论:
量词分配等价式
口诀:任合存析
-
语句到逻辑表达式的翻译
解2的自然语言:只要是我们班的学生,就学过java课程。
标签:逻辑,函数,第三节,量词,命题,离散数学,谓词,表达式 来源: https://blog.csdn.net/weixin_49436110/article/details/116780376
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。