离散数学的概述
逻辑学
- 逻辑学是关于推理和论证的概述
- 所有思维都有内容和形式两个方面
逻辑学的发展:
- .中国先秦时期的名辨学家。如墨家学派
- 古印度逻辑:因明论
- 德漠克里特 《论自然》
- 雅力士多得《工具论》
- 莱布尼兹 引进人工符号表示逻辑法则 (思维计算化)
- 康德 提出辩证逻辑
- 布尔 布尔代数的创建
- 罗素 《数学原理》
逻辑的分类:
一 基本逻辑
1. 经典逻辑
2. 非经典逻辑:多值逻辑,模糊逻辑,直觉主义逻辑
3. 元逻辑
4. 归纳逻辑
二 应用逻辑
三 广义逻辑
演绎推理
从一般到个别的推理,由前提为真
归纳推理
由个别到一般
同一率:思维必须与其自身一致。在同一思维过程中,必须保持概念和论题的同一,不
得发生混淆、转移或偷换。
for example:
同一律在于保证思维的确定性。
违反同一律的推理。张三的表比李四的表每天慢3分钟,李四的表比标准
时间每天快3分钟,所以张三的表是准确的。
矛盾律 (Aristotle)
− 即不矛盾律,两个互相矛盾的命题不能同真,必有一假。
排中律 (Aristotle)
− 两个互相矛盾的命题不能同假,必有一真。