基本解釋
用數(shù)學(xué)的工具和方法研究推理、計(jì)算等問(wèn)題的一門科學(xué)，是數(shù)學(xué)的一個(gè)分支。它的主要內(nèi)容有：命題演算、謂詞演算、證明論、遞歸論、模型論和公理化集論等。也叫符號(hào)邏輯。
詞語(yǔ)來(lái)源
該詞語(yǔ)來(lái)源于人們的生產(chǎn)生活。
詞語(yǔ)造句
1、方先生，你對(duì)數(shù)理邏輯用過(guò)功沒(méi)有？
2、特別值得一提的是，我發(fā)現(xiàn)數(shù)理邏輯課或是電腦編程課能夠很好的訓(xùn)練人的邏輯思維能力，從而做到精確思考。
3、通過(guò)制造資本賬戶上的人為赤字，基于數(shù)理邏輯，中國(guó)正在制造人為的經(jīng)常賬戶順差。
4、這是因?yàn)椤拜椤辈粌H反映了古人對(duì)生命的崇拜意識(shí)，更重要的是，它使《易》學(xué)思想建立在一個(gè)嚴(yán)密的數(shù)理邏輯系統(tǒng)之上。
5、由于馮．諾依曼式計(jì)算機(jī)的理論基礎(chǔ)是數(shù)理邏輯，現(xiàn)今的計(jì)算機(jī)處理數(shù)理問(wèn)題無(wú)比成功。
6、數(shù)理邏輯是離散數(shù)學(xué)的重要組成部分，是學(xué)好離散數(shù)學(xué)的基礎(chǔ)。
7、數(shù)理邏輯學(xué)家宣稱，"完美十字"的排列不僅象征著日歷中百年一遇的巧合，也是"再生的強(qiáng)大時(shí)刻"。
8、數(shù)理邏輯是研究推理邏輯的，采用數(shù)學(xué)符號(hào)化的方法給出推理規(guī)則來(lái)建立推理體系。
9、謂詞演算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。
10、協(xié)調(diào)性是數(shù)理邏輯中最基本的語(yǔ)法概念之一。
11、因此，情報(bào)推理不能以正統(tǒng)數(shù)理邏輯作為推理工具。
12、蒙古族民歌“變凡”音樂(lè)現(xiàn)象中隱藏著一種精確的規(guī)定性和嚴(yán)密的數(shù)理邏輯，并在蒙古民歌中發(fā)展到相當(dāng)規(guī)范的程度。
13、關(guān)于前者的邏輯即狹義的數(shù)理邏輯，通常也稱為數(shù)理邏輯，可以看成關(guān)于數(shù)學(xué)的邏輯；
14、“正統(tǒng)”數(shù)理邏輯已不適應(yīng)智能機(jī)和量子計(jì)算機(jī)的發(fā)展需要，而制約邏輯卻為此提供了新的理論依據(jù)。
15、如果不是受惠于數(shù)理邏輯的最新進(jìn)展，這個(gè)問(wèn)題根本就無(wú)法予以嚴(yán)肅的對(duì)待。
16、我不明白這復(fù)雜的數(shù)理邏輯運(yùn)算。
17、用數(shù)理邏輯的語(yǔ)言表述了哈密頓原理及其在正則變換下的不變性，并給以證明。
18、非形式邏輯的出現(xiàn)證明所謂的“傳統(tǒng)邏輯已經(jīng)無(wú)用，我國(guó)邏輯現(xiàn)代化就是要用數(shù)理邏輯取代傳統(tǒng)邏輯”的說(shuō)法是錯(cuò)誤的。
19、傳統(tǒng)邏輯對(duì)這個(gè)問(wèn)題的回答似乎是不言而喻的，但數(shù)理邏輯卻使這個(gè)問(wèn)題變得復(fù)雜起來(lái)。
20、通過(guò)數(shù)理邏輯手段揭示轉(zhuǎn)折復(fù)句子類間的聯(lián)系變化。
21、認(rèn)為這兩種語(yǔ)義之間存在循環(huán)論證，它反映了數(shù)理邏輯的模型論和證明論之間的循環(huán)論證。
22、因此，用數(shù)理邏輯“改造”或“取代”傳統(tǒng)形式邏輯是一種常識(shí)性錯(cuò)誤。
23、普通邏輯應(yīng)以傳統(tǒng)邏輯的精華為其主體，適當(dāng)吸收數(shù)理邏輯的基礎(chǔ)知識(shí)，形成二者融合的教學(xué)體系；
24、方法非經(jīng)典數(shù)理邏輯的語(yǔ)義理論。
25、數(shù)理邏輯是《離散數(shù)學(xué)》的難點(diǎn)之一。
26、語(yǔ)言符號(hào)具有多元性，可以采用數(shù)理邏輯的“合一”方法來(lái)描述這一特性。
27、數(shù)理邏輯，也稱為符號(hào)邏輯，是當(dāng)人們終于認(rèn)識(shí)到，數(shù)學(xué)的工具可以用來(lái)研究的結(jié)構(gòu)，邏輯本身。
28、中學(xué)物理課程與教學(xué)也是圍繞對(duì)學(xué)生數(shù)理邏輯智力的培養(yǎng)目標(biāo)進(jìn)行定位的。
29、瑞典南部隆德大學(xué)數(shù)理邏輯學(xué)教授斯坦·旺德說(shuō)，如果過(guò)橋完全免費(fèi)，該地區(qū)可能會(huì)得到最高的利益。
[查看更多]
