离散数学
谨慎的海绵
这个作者很懒,什么都没留下…
展开
-
离散数学_关系模型与理论
序偶与笛卡尔积笛卡尔积满足下面一些结论关系矩阵运算:这个相当于找两个结点直接是否有通路集合运算鸽笼原理关系的性质可见逆和与的保守性较好关系的闭包R’是R添加最小个数序偶后的满足相关性质的关系。...原创 2021-11-01 20:35:03 · 295 阅读 · 0 评论 -
离散数学_谓词公式的范式与谓词推演
谓词公式的范式前束型范式有以下特点:前束范式的定义:谓词逻辑的推理区别于命题推理的新规则:注意,这里的y是不包含在x中出现的个体变量,与下面的ES中的自由变元要区别这里,当P(x)里有其他自由变元时,c要表示为其变量。推理规则...原创 2021-11-01 19:51:39 · 341 阅读 · 0 评论 -
离散数学_谓词公式和等值演算
谓词公式一些约定个体项谓词公式定义量词与谓词公式谓词公式的等值与蕴含所有人会画画或者所有人会书法可以推出所有人要么同时会画画或书法。有人既会画画又会书法那么可以推出有人会画画和有人会书法。...原创 2021-10-25 15:24:58 · 470 阅读 · 0 评论 -
离散数学_个体词、谓词和量词
个体变量与命题函数谓词量词原创 2021-10-25 10:41:04 · 767 阅读 · 0 评论 -
离散数学_命题逻辑的演绎推理
永真蕴含与->的关系是一些结论假设前面的成立则后面的也成立。证明方法:真值表法公式演算法:公式推演系统原创 2021-10-25 09:38:22 · 2362 阅读 · 0 评论 -
离散数学_命题公式与等值推演
命题公式命题常量表示一个具体的命题,真值唯一确定,可以看作命题。命题变量可以表示任何一个命题,真值不确定,不能看作命题。包含命题变量的复合命题就是一个关于命题变量的函数,叫做命题公式或真值函数。命题公式,如:由命题公式的定义可以得到:对运算符做以下约定:对其取值有以下结论:等值演算对于这个有:利用等价关系进行演算的过程叫做等值演算,内否与对偶有以下一些结论联结词的完备集如何用一些符号表示所有情况。进一步讨论联结词的完备性:原创 2021-10-24 20:15:14 · 1043 阅读 · 1 评论 -
离散数学_命题演算与推理
命题概念与运算命题的概念命题是一个能判断真假的陈述句比如这四句能够判断真假,而且是陈述句。来一些特殊的反例:这些句子,符合要求,他们是命题,但是他们有个特点,就是无法判断真假,因为缺少了一些前提,比如我们不知道小张到底是不是一个大学生,也就无法判断这个命题的真假,但是这个命题的真假是唯一确定的。这个就比较离谱了,如果我们假设我在说假话,那么我在说假话这个动作就是跟我说的是一致的了,那我说的是真话,矛盾,另一方面,假设我在说真话,那么我说的话应该是真的,但是我的话是我在说假话这与我在说真话的原创 2021-10-16 23:38:15 · 442 阅读 · 0 评论