1.基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
2.传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
3.数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
4.本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
5.通过制造资本账户上的人为赤字，基于数理逻辑，中国正在制造人为的经常账户顺差。
6.在数理逻辑中研究的主要对象是各种演算。
7.莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
8.与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
9.谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
10.用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。
11.逻辑研究应提倡兼容，数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。
12.总之,宪昌之于检察院工作中,潜心汲取数理逻辑之缜密精严,娴熟把握形象思维之迁想妙得;凛遵宪典,严惩墨吏,体恤民瘼,申张正义。
13.数理逻辑学家宣称，"完美十字"的排列不仅象征着日历中百年一遇的巧合，也是"再生的强大时刻"。
14.故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.
15.同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
16.如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
17.我不明白这复杂的数理逻辑运算。
18.蒙古族民歌“变凡”音乐现象中隐藏着一种精确的规定性和严密的数理逻辑，并在蒙古民歌中发展到相当规范的程度。
19.定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。