网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
亦称“语义一致性”。形式系统的重要性质。指一切在这系统里可证的公式都是真的。在命题演算中是指：一切定理都是重言式;在谓词演算中是指：一切定理都是普遍有效式。由于A和非A不能同真，既然一切可证的都是真的，显然，A和非A不能都可证，系统里不会有逻辑矛盾。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。