离散数学
FRESHET
这个作者很懒,什么都没留下…
展开
-
第二章命题逻辑等值演算2.1
第二章命题逻辑等值演算2.1等值式设公式A,B共同含有n个命题变项,A或B可能有哑元.若A与B有相同的真值表,则说明在所有2n个赋值下,A与B的真值都相同,因而等价式A<->B为重言式定义2.1设A,B是两个命题公式,若A,B构成的等价式A<->B为重言式,则称A与B是等值的,记作A<=>B定义中的符号<=>不是联结符,它...翻译 2019-08-14 15:18:54 · 8990 阅读 · 0 评论 -
2.2析取范式与合取范式
2.2析取范式与合取范式本节给出命题公式的两种规范表示方法,这种规范的表达式能表达真值表所能提供的一切信息定义2.2命题变项及其否定统称作文宇.仅由有限个文字构成的析取式称作简单析取式仅由有限个文字构成的合取式称作简单合取式P,┓g;pV┓p,┓pVq和┓pV┓qVr,pV┓pVr都是简单析取式,分别由1个文字,2个文字和3个文字构成┓p,q;p^p,P^┓q和p∧q^┓r,...翻译 2019-08-15 11:26:13 · 24703 阅读 · 0 评论 -
联结词的完备集与可满足性问题与消解法
2.3联结词的完备集定义2.6称F:{0,1}n→{0,1}为n元真值函数在这个定义中,F的自变量为n个命题变项,定义域{0,1}n={00...0,00...1,...,11...1},即由0,1组成的长为n的符号串的全体,值域为{0,1}.n个命题变项共可构成22n个不同的真值函数.1元真值函数共有4个,如表2.5所示;2元真值函数共有16个,如表2.6所示;3元真值函数共有22...翻译 2019-08-15 16:27:20 · 31388 阅读 · 9 评论 -
第三章命题逻辑的推理理论
第三章命题逻辑的推理理论3.1推理的形式结构数理逻辑的主要任务是用数学的方法研究推理.所谓推理是指从前提出发推出结论的思维过程,而前提是已知的命题公式集合,结论是从前提出发应用推理规则推出的命题公式.为此, 首先应该明确什么样的推理是正确的.定义3.1设A1,A2,...Ak和B都是命题公式,若对于A1,A2,...,Ak和B中出现的命题变项的任意一组赋值,或者A1^A2^...翻译 2019-08-16 10:14:12 · 2248 阅读 · 0 评论 -
第四章 一阶逻辑基本概念
第四章 一阶逻辑基本概念命题逻辑具有一定的局限性,甚至无法判断一些常见的简单推理,例如,考虑下面的推理: 凡偶数都能被2整除,6是偶数.所以,6能被2整除这个推理是数学中的真命题,但在命题逻辑中却无法判断它的正确性,在命题逻辑中只能将推理中出现的3个简单命题依次符号化为p,q,r,将推理的形式结构符号化为(p^g)→r由于上式不是重言式,所以不能由它判断推理的正确性.间题出在...翻译 2019-08-16 12:25:36 · 3453 阅读 · 2 评论