数学的一个分支，用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
数理逻辑造句
1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
3、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
4、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
5、如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
6、谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
7、通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
8、数理逻辑的延
