邏輯演算

用形式化方法處理邏輯推理，特別是數(shù)學(xué)中所用推理。由于形式化了的推理過程與代數(shù)演算具有相似性,故也稱之為邏輯演算。這類推理的正確性僅依賴于它們的形式,而與內(nèi)容無關(guān),例如三段論法。在這里，概念、推理等被分解為最 ......（本文共 1736 字 ）     [閱讀本文] >>