3 注解
数理逻辑亦称“符号逻辑”。是用数学方法研究关于推理、证明等逻辑问题特别是数学中的逻辑问题的一门学科。主要特点是运用特定的符号把概念、命题等表示为公式，用公式的演算代替逻辑的推理。狭义的数理逻辑指逻辑演算，包括命题演算和谓词演算。广义的数理逻辑已包括公理集合论、证明论、递归函数论、模型论等内容。最早提出数理逻辑思想的是德国的莱布尼兹，后经布尔、弗雷格、哥德尔等人的发展，于20世纪30年代形成为一门独立的学科。数理逻辑的成果已广泛应用于人工智能、开关线路、自动控制及计算机等领域。在中医现代研究中数理逻辑的应用日益深入，特别在中医智能电子计算机系统的研制中，数理逻辑是不可缺少的工具和方法。