熱心網(wǎng)友

數(shù)理邏輯是用數(shù)學(xué)方法研究邏輯問題，同時也是研究數(shù)學(xué)中的邏輯問題的科學(xué)。具體地說，數(shù)理邏輯對推理的研究，是通過反映前提與結(jié)論的形式關(guān)系的邏輯演算進行的，它亦可稱符號邏輯，或數(shù)學(xué)邏輯、或理論邏輯、或邏輯斯蒂。從與傳統(tǒng)的普通邏輯關(guān)系上看，它也可稱為現(xiàn)代邏輯。