欧美AV无码一区二区,麻豆+无码+国产在线+观看,欧美狂躁少妇XXXX高潮无码,美女扒开屁股让男人桶免费观看,极品粉嫩国产18尤物在线播放

漢語(yǔ)詞典 > 詞語(yǔ)
漢語(yǔ)詞語(yǔ)拼音 漢語(yǔ)解釋

符號邏輯

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

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

網(wǎng)絡(luò )解釋

符號邏輯

  • 符號邏輯又稱(chēng)數理邏輯、理論邏輯。它是數學(xué)的一個(gè)分支，是用數學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計算這兩個(gè)直觀(guān)概念進(jìn)行符號化以后的形式系統。數理邏輯是數學(xué)基礎的一個(gè)不可缺少的組成部分。 所謂數學(xué)方法就是指數學(xué)采用的一般方法，包括使用符號和公式，已有的數學(xué)成果和方法，特別是使用形式的公理方法。 用數學(xué)的方法研究邏輯的系統思想一般追溯到萊布尼茨，他認為經(jīng)典的傳統邏輯必須改造和發(fā)展，是之更為精確和便于演算。后人基本是沿著(zhù)萊布尼茨的思想進(jìn)行工作的。 簡(jiǎn)而言之，數理邏輯就是精確化、數學(xué)化的形式邏輯。它是現代計算機技術(shù)的基礎。新的時(shí)代將是數學(xué)大發(fā)展的時(shí)代，而數理邏輯在其中將會(huì )起到很關(guān)鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng )建的。用數學(xué)的方法研究關(guān)于推理、證明等問(wèn)題的學(xué)科就叫做數理邏輯。也叫做符號邏輯。
    • 收藏 菜單 QQ
    欧美AV无码一区二区,麻豆+无码+国产在线+观看,欧美狂躁少妇XXXX高潮无码,美女扒开屁股让男人桶免费观看,极品粉嫩国产18尤物在线播放