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