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