网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
逻辑演算中的重要推演规则。在谓词演算中，令A、 B为合式公式，∅(A)也为谓词演算中的合式公式时，这一定理指：当系统断定“A→B和B→A”时，那么，如果以公式B置换∅(A)中的公式A得∅(B)，则系统也可断定：“∅(A)↔∅(B)”。因之，从系统能断定∅(A)，利用分离规则可得系统能断定∅(B)。从意义上看，基本置换定理是指如果A和B等值，则∅(A)和∅(B)也等值。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。