逻辑等价, 此條目没有列出任何参考或来源, 2021年10月9日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, 在逻辑中, 陈述p和q是的, 如果它们有相同的逻辑内容, p和q是语法等价的, 如果每个都可以证明自另一个, p和q是语义等价的, 如果它们在所有模型中有相同的真值, 经常混淆于实质等价, 前者是在元语言中的一个陈述, 断言关于目标语言中的陈述p和q的某个事情, 而p和q的实质等价, 常写为, 自身是在目标语言中另一个陈述, 但它们是有. 此條目没有列出任何参考或来源 2021年10月9日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 在逻辑中 陈述p和q是逻辑等价的 如果它们有相同的逻辑内容 p和q是语法等价的 如果每个都可以证明自另一个 p和q是语义等价的 如果它们在所有模型中有相同的真值 逻辑等价经常混淆于实质等价 前者是在元语言中的一个陈述 断言关于目标语言中的陈述p和q的某个事情 而p和q的实质等价 常写为 p q 自身是在目标语言中另一个陈述 但它们是有联系的 p和q是语法等价的 当且仅当p q是一个定理 而p和q是语义等价的 当且仅当p q是重言式 逻辑等价有时表示为p q或p q 但是 后者记号也用于实质等价 逻辑等价公式 编辑等价关系 关系名称p T pp F p Identity laws恒等律p T Tp F F Domination laws支配律p p pp p p Idempotent laws幂等律 p p Double negation laws双非律p q q pp q q p Commutative laws交换律 p q r p q r p q r p q r Associative laws结合律p q r p q p r p q r p q p r Distributive laws分配律 p q p q p q p q De Morgan s laws德摩根律p p q pp p q p Absorption laws吸收律p p Tp p F Negation laws否定律包括蕴涵的逻辑等价 p q p q p q q p p q p q p q p q p q p q p q p r p q r p q p r p q r p r q r p q r p r q r p q r包含双蕴涵 逻辑双条件 的逻辑等价 p q p q q p p q p q p q p q p q p q p q例子 编辑John高于Fred 等价于 Fred矮于John 参见 编辑逻辑双条件 蕴涵 等价符号 取自 https zh wikipedia org w index php title 逻辑等价 amp oldid 74016308, 维基百科,wiki,书籍,书籍,图书馆,