符號邏輯 [fú hào luó jí]
[符號邏輯]基本解釋
數理邏輯。
[符號邏輯]百科解釋
符號邏輯又稱數理邏輯、理論邏輯。它是數學的一個分支，是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。 所謂數學方法就是指數學採用的一般方法，包括使用符號和公式，已有的數學成果和方法，特別是使用形式的公理方法。 用數學的方法研究邏輯的系統思想一般追溯到萊布尼茨，他認為經典的傳統邏輯必須改造和發展，是之更為精確和便於演算。後人基本是沿著萊布尼茨的思想進行工作的。 簡而言之，數理邏輯就是精確化、數學化的形式邏輯。它是現代計算機技術的基礎。新的時代將是數學大發展的時代，而數理邏輯在其中將會起到很關鍵的作用... 更多→ 符號邏輯
[符號邏輯]英文翻譯
Symbolic logic