逻辑演算正文 用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式,而与内容无关,例如三段论法。在这里，... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
