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