数理逻辑中形式系统的重要性质。指没有公式A使得A和A都是形式定理。一个公式的集合具有协调性,是指没有公式A使得A和A都能以这个集合中的公式形式地推出。命题演算和谓词演算都具有这种性质。 (本文共 92 字 ) [阅读本文] >>
海量资源,尽在掌握
 数理逻辑中形式系统的重要性质。指没有公式A使得A和A都是形式定理。一个公式的集合具有协调性,是指没有公式A使得A和A都能以这个集合中的公式形式地推出。命题演算和谓词演算都具有这种性质。 (本文共 92 字 ) [阅读本文] >>
开通会员,享受整站包年服务
说明: 本文档由创作者上传发布,版权归属创作者。若内容存在侵权,请点击申诉举报