离散数学-数理逻辑基本概念

什么是数理逻辑？ 逻辑学是探索、阐述和确立有效推理原则的学科。递归 这个问题能够追溯到亚里士多德提出的三段论：即包含大前提、小前提和结论三个部分的论证。数学 举例 凡是人都会死（大前提） 苏格拉底是人（小前提） 因此：苏格拉底会死（结论） 上述为三段论中最著名的一个例子。基础 用数学的方法研究关于推理、证实等问题的学科就叫作数理逻辑（亦称为符号逻辑）方法 数理逻辑的开创 1847年，英国数学家布尔

>>阅读原文<<