邏輯演算

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