离散数学
故梦连城
打铁还需自身硬
展开
-
离散数学复习笔记——数理逻辑
概念数理逻辑:用数学方法来研究推理的形式结构和推理规律数理逻辑:①命题逻辑 (Propositional Logic) •命题逻辑基本概念 •命题逻辑等值演算 •命题逻辑推理理论②谓词逻辑 (Predicate Logic ) §一阶逻辑基本概念 ...原创 2018-12-26 14:55:38 · 1281 阅读 · 0 评论 -
离散数学复习笔记——第一章
1.1 命题与联结词命题:把用语言、符号或式子表达的,可以判断真假的陈述句。 命题的分类: 简单命题(原子命题): 由简单句构成, 不能再分解成更简单的命题。 复合命题: 由简单命题和联结词构成。 命题常项:简单命题 命题变项:真值可以变化的简单陈述句 命题联结词...原创 2018-12-27 10:21:45 · 2042 阅读 · 0 评论 -
离散数学复习——第二章 命题逻辑等值演算
2.1 等值式概念:若等价式AB是重言式,则称 A 与 B 等值, 记作 AB,并称AB是等值式 范式...原创 2018-12-27 14:57:54 · 4055 阅读 · 0 评论 -
离散数学——第三章 命题逻辑的推理理论
引言数理逻辑:是用数学方法来研究推理的形式结构和推理规律的数学学科。推理:从前提推出结论的思维过程。前提:已知的命题。结论:指从前提出发应用推理规则推出的命题。 推理定律——重言蕴含式 ...原创 2018-12-27 15:42:28 · 2216 阅读 · 1 评论