逻辑演算

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