符號(hào)邏輯
- 拼音fú hào luó ji
- 近義詞
- 反義詞
詞語(yǔ)解釋
- 數(shù)理邏輯。
國(guó)語(yǔ)詞典
- 一種邏輯。不限名詞和命題，將其關(guān)系用數(shù)學(xué)符號(hào)表達(dá)，而以數(shù)學(xué)運(yùn)算的方式，據(jù)以推斷論證命題的結(jié)果，有執(zhí)簡(jiǎn)衘繁的功效。
網(wǎng)絡(luò)解釋
- 符號(hào)邏輯
- 符號(hào)邏輯又稱數(shù)理邏輯、理論邏輯。它是數(shù)學(xué)的一個(gè)分支，是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對(duì)象是對(duì)證明和計(jì)算這兩個(gè)直觀概念進(jìn)行符號(hào)化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學(xué)基礎(chǔ)的一個(gè)不可缺少的組成部分。 所謂數(shù)學(xué)方法就是指數(shù)學(xué)采用的一般方法，包括使用符號(hào)和公式，已有的數(shù)學(xué)成果和方法，特別是使用形式的公理方法。 用數(shù)學(xué)的方法研究邏輯的系統(tǒng)思想一般追溯到萊布尼茨，他認(rèn)為經(jīng)典的傳統(tǒng)邏輯必須改造和發(fā)展，是之更為精確和便于演算。后人基本是沿著萊布尼茨的思想進(jìn)行工作的。 簡(jiǎn)而言之，數(shù)理邏輯就是精確化、數(shù)學(xué)化的形式邏輯。它是現(xiàn)代計(jì)算機(jī)技術(shù)的基礎(chǔ)。新的時(shí)代將是數(shù)學(xué)大發(fā)展的時(shí)代，而數(shù)理邏輯在其中將會(huì)起到很關(guān)鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng)建的。用數(shù)學(xué)的方法研究關(guān)于推理、證明等問題的學(xué)科就叫做數(shù)理邏輯。也叫做符號(hào)邏輯。
“符號(hào)邏輯”單字解釋
號(hào)：[hào] 1.名稱：國(guó)～。年～。 2.原指名和字以外另起的別號(hào)，后來也指名以外另起的字：蘇軾字子瞻，～東坡?？酌魇侵T葛亮的～。 3.商店：商～。銀～。分～。寶～。 4.標(biāo)志；信號(hào)：記...
符：1.符節(jié)：兵～?；ⅰɑ⑿蔚谋?2.代表事物的標(biāo)記；記號(hào)：～號(hào)。音～。 3.符合（多跟“相”或“不”合用）：兩個(gè)數(shù)目相～。他所說的與事實(shí)不～。 4.道士所畫的一種圖形或線...
輯：1.編輯；輯錄。 2.整套書籍、資料等按內(nèi)容或發(fā)表先后次序分成的各個(gè)部分：新聞簡(jiǎn)報(bào)第一～。這部叢書分為十～，每～五本。...
邏：巡察：巡～。～騎?！?。...