3 註解
數理邏輯亦稱“符號邏輯”。是用數學方法研究關於推理、證明等邏輯問題特別是數學中的邏輯問題的一門學科。主要特點是運用特定的符號把概念、命題等表示爲公式，用公式的演算代替邏輯的推理。狹義的數理邏輯指邏輯演算，包括命題演算和謂詞演算。廣義的數理邏輯已包括公理集合論、證明論、遞歸函數論、模型論等內容。最早提出數理邏輯思想的是德國的萊布尼茲，後經布爾、弗雷格、哥德爾等人的發展，於20世紀30年代形成爲一門獨立的學科。數理邏輯的成果已廣泛應用於人工智能、開關線路、自動控制及計算機等領域。在中醫現代研究中數理邏輯的應用日益深入，特別在中醫智能電子計算機系統的研製中，數理邏輯是不可缺少的工具和方法。