离散数学基础(一)

离散数学的概述

逻辑学
- 逻辑学是关于推理和论证的概述
- 所有思维都有内容和形式两个方面

逻辑学的发展：

• .中国先秦时期的名辨学家。如墨家学派
• 古印度逻辑：因明论
• 德漠克里特 《论自然》
• 雅力士多得《工具论》
• 莱布尼兹 引进人工符号表示逻辑法则 (思维计算化)
• 康德 提出辩证逻辑
• 布尔 布尔代数的创建
• 罗素 《数学原理》

---

逻辑的分类：
一 基本逻辑
1. 经典逻辑
2. 非经典逻辑：多值逻辑，模糊逻辑，直觉主义逻辑
3. 元逻辑
4. 归纳逻辑

---

二 应用逻辑
三 广义逻辑

---

演绎推理
从一般到个别的推理，由前提为真
归纳推理
由个别到一般

---

同一率：思维必须与其自身一致。在同一思维过程中，必须保持概念和论题的同一，不
得发生混淆、转移或偷换。
for example：
同一律在于保证思维的确定性。
违反同一律的推理。张三的表比李四的表每天慢3分钟，李四的表比标准
时间每天快3分钟，所以张三的表是准确的。

---

矛盾律 (Aristotle)
− 即不矛盾律，两个互相矛盾的命题不能同真，必有一假。

排中律 (Aristotle)
− 两个互相矛盾的命题不能同假，必有一真。