| 查看: 1009 | 回复: 2 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
数学符号演算与数学逻辑之间的关系？
|
|||
回复此楼
FMStation
至尊木虫 (知名作家)
- 应助: 591 (博士)
- 贵宾: 0.03
- 金币: 18207.2
- 红花: 97
- 帖子: 8891
- 在线: 1487.4小时
- 虫号: 2400059
- 注册: 2013-04-04
- 专业: 计算机应用技术
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
小木虫: 金币+0.5, 给个红包，谢谢回帖
柳若风飘: 金币+10 2016-08-05 13:54:27
小木虫: 金币+0.5, 给个红包，谢谢回帖
柳若风飘: 金币+10 2016-08-05 13:54:27
|
符号逻辑又称数理逻辑、理论逻辑。 利用计算的方法来代替人们思维中的逻辑推理过程 命题演算 交换律、结合律、分配律，同一律、吸收律、双否定律、狄摩根定律、三段论定律。 谓词演算 由命题涵项、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。 邏輯符號表 https://zh.wikipedia.org/wiki/逻辑符号表 Refer to: http://baike.baidu.com/view/4769144.htm |
3楼2016-08-05 10:20:38