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