【詞語】: 數理邏輯 數的詞語 【拼音】: shùlǐ-luó jí 【解釋】: 用數學的工具和方法研究推理、計算等問題的一門科學,是數學的一個分支。它的主要內容有:命題演算、謂詞演算、證明論、遞歸論、模型論和公理化集論等。也叫符號邏輯。