邏輯演算

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