逻辑演算

用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式,而与内容无关,例如三段论法。在这里,概念、推理等被分解为最 ......     (本文共 1736 字 )     [阅读本文]>>



更多同类【数学】......
百科知识