| 查看: 1007 | 回复: 2 | ||
[交流]
数学符号演算与数学逻辑之间的关系？
|
回复此楼
routeman
金虫 (初入文坛)
小小虫
- 应助: 0 (幼儿园)
- 金币: 1044.6
- 帖子: 12
- 在线: 8.9小时
- 虫号: 4725866
- 注册: 2016-05-26
- 性别: GG
- 专业: 拓扑学
2楼2016-08-05 10:19:19
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