檢視符号逻辑的原始碼

'''符号逻辑'''同义词数理逻辑，是用数学方法研究逻辑或形式逻辑的学科，属形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学[[范畴]]。<ref>[https://zhidao.baidu.com/question/436588990611033932.html?fr=bks0000&word=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91 数理逻辑是什么]百度知道</ref>  
 {| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
 |<center><img src="http://t15.baidu.com/it/u=383001121,4056726144&fm=224&app=112&f=JPEG?w=500&h=500   " width="180"></center><small>[]</small>
 |}