數(shù)理邏輯

用數(shù)學(xué)方法研究推理過(guò)程的規(guī)律,特別是研究數(shù)學(xué)證明的科學(xué)。又稱(chēng)符號(hào)邏輯或理論邏輯,數(shù)學(xué)的分支學(xué)科。它研究的直接對(duì)象是符號(hào)、公式和規(guī)則系統(tǒng),即邏輯演算。用數(shù)學(xué)方法研究邏輯系統(tǒng)的思想,首先由萊布尼茨(G.W.Leibniz,1646～1 ......    （本文共 926 字 ）     [閱讀本文] >>