一阶逻辑正文 研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数学的语言和推理建立形式系统的过程中，一阶逻辑处于核心地位，多... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
