檢視数理逻辑的原始碼

{{Infobox person  
| 名称     =   '''数理逻辑'''
| 图像     = 
[[File:数理逻辑.jpg|缩略图||center|[http://img.kongfz.cn/20160801/2914487/49P77QVLAS_b.jpg 原图链接]  [http://www.kongfz.cn/23125454/pic/ 来自搜狐网]]]
}}
'''<big>数理逻辑</big>'''，形式逻辑形式上符号化、数学化的逻辑，本质上仍属于[[知性逻辑]]的范畴。

数理逻辑又称符号[[逻辑]]、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个[[直观概念]]进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。<ref>[https://www.wjx.cn/jq/4364515.aspx 数理逻辑能力测验]</ref>