亚洲综合在线网-欧美精品一区二区视频-日日噜噜噜夜夜爽爽狠狠视频-香港日本韩国三级网站-欧美巨乳在线-两性午夜免费视频-国产又粗又长又硬免费视频-久久中文字幕人妻av熟女-欧美肥妇毛多水多bbxx水蜜桃-日本一区二区三区日本免费-亚洲69-97视频久久-国产精品91久久-日韩天堂在线观看-亚洲国产精品久久精品-日本少妇aa特黄毛片亚洲-国产午夜伦鲁鲁-a一级视频-国产又粗又猛又大爽-国产精品蜜

漢語詞典 > 詞語
漢語詞語拼音 漢語解釋

符號邏輯

拼音： fú hào luó ji
注音：ㄈㄨˊ ㄏㄠˋ ㄌㄨㄛˊ ㄐ一ˊ
詞性： 成語
結構： 其他
近義詞：
反義詞：
詞語解釋
數理邏輯。【】
引證解釋
國語詞典

一種邏輯。不限名詞和命題，將其關系用數學符號表達，而以數學運算的方式，據以推斷論證命題的結果，有執簡衘繁的功效。

網絡解釋

符號邏輯

  • 符號邏輯又稱數理邏輯、理論邏輯。它是數學的一個分支，是用數學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統。數理邏輯是數學基礎的一個不可缺少的組成部分。 所謂數學方法就是指數學采用的一般方法，包括使用符號和公式，已有的數學成果和方法，特別是使用形式的公理方法。 用數學的方法研究邏輯的系統思想一般追溯到萊布尼茨，他認為經典的傳統邏輯必須改造和發展，是之更為精確和便于演算。后人基本是沿著萊布尼茨的思想進行工作的。 簡而言之，數理邏輯就是精確化、數學化的形式邏輯。它是現代計算機技術的基礎。新的時代將是數學大發展的時代，而數理邏輯在其中將會起到很關鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學科，最早由古希臘學者亞里士多德創建的。用數學的方法研究關于推理、證明等問題的學科就叫做數理邏輯。也叫做符號邏輯。
    • 收藏 菜單 QQ