1 等势的基本概念
等势是逻辑学中用于描述两个命题在真值表现上完全一致的概念。若在所有可能的赋值下，两个命题总是同时为真或同时为假，就称它们等势。这个概念关注的是命题形式之间的对应关系，而不是自然语言表达是否相同。
1.1 命题与真值赋值
在命题逻辑中，命题是可以判定真或假的陈述。真值赋值则是给命题变元指定真或假，从而计算复合命题的真值。借助赋值，可以考察不同命题在各种情形下是否呈现一致的真假结果。
1.2 等势的直观含义：总同真同假
等势最直观的理解是“总是同真同假”。也就是说，不论环境如何变化，只要一个命题为真，另一个也必为真；一个命题为假，另一个也必为假。这种同步变化说明它们在逻辑效果上没有差别。
1.3 与“逻辑等价”的关系
在许多教材中，等势常与“逻辑等价”几乎同义使用。二者都强调两个命题在所有赋值下具有相同真值，因此能够在推理中互相替换。不同文献有时会采用“语义等价”“等价命题”等名称来描述同一类关系。
2 等势的形式化定义
等势可以从语义层面严格定义，也可以用符号化方式表达。其核心要求是：两个命题在所有解释下的真值一致。
2.1 语义层面的定义（真值表判定）
从语义上看，如果对所有可能的真值赋值，命题A与命题B的结果完全相同，则A与B等势。真值表是最直接的判定工具：只要每一行中两者的取值都一致，就可确认它们等势。
2.2 符号化表达：等势条件的写法
常见写法是记作A ≡ B，或写成A ↔ B在恒真意义下成立。这里需要注意，A ↔ B本身是一个复合命题，而A ≡ B通常表示元语言层面上的等势关系。教材在符号使用上可能略有差异，但含义通常一致。
2.3 与代入一致性的描述
等势也可理解为“可代入而不改变真假”。若在一个更大的命题结构中，用A替换为B，整体真值不变，那么A与B在该语境中具有等势性。这种性质使等势成为证明和化简中非常实用的工具。
3 等势的判定方法
判定等势的方法较多，常见的有真值表、化简推导和形式证明。不同方法适合不同规模的命题。
3.1 真值表法
真值表法是最直观的检验方式。将所有变量的取值组合列出，分别计算两个命题的真值；如果每一行都相同，就说明它们等势。该方法清晰可靠，但当变量较多时表格会迅速变大。
3.2 化简法：用等价变形推导
通过已知等价规则对命题进行化简，也可以判断等势。若两个命题都可化为同一标准形式，或其中一个可逐步变形为另一个，则可说明它们等势。此法通常比逐行列真值表更适合较复杂的表达式。
3.3 公理/推理系统中的等价证明思路
在公理系统或自然演绎系统中，证明等势常借助定理、规则和已知等价式。思路一般是分别证明两个方向的蕴含，或者直接构造一个双条件命题并证明其为真。
3.3.1 以双条件形式证明（A ↔ B）
证明A ↔ B通常分为两步：先证A → B，再证B → A。若两个方向都成立，则可得A与B等势。这是逻辑证明中最常见、也最规范的方法之一。
3.4 通过反例检验
如果想否定某个等势判断，只需找到一个赋值使两个命题真值不同即可。这样的赋值称为反例。反例的存在足以说明二者不等势，因此它是排除错误结论的有效手段。
4 等势与逻辑连接词
逻辑连接词之间存在大量经典的等势关系。这些关系构成了命题演算中的基本变形规则。
4.1 否定、合取、析取下的等势模式
否定、合取和析取都遵循若干稳定的等势模式。例如，双重否定可消去，某些析取式与合取式在特定条件下可以互相改写。这些规则常被用来规范命题结构。
4.2 蕴含与等势的常见等价
蕴含A → B常可改写为¬A ∨ B，这是最基础的等势形式之一。它把条件命题转化为析取表达，便于进一步化简和推导。含蕴含的复杂表达式，也往往先转换成这种形式再处理。
4.3 双条件与等势的关系
双条件A ↔ B本身就表达了“互相推出”的关系，因此与等势非常接近。若A与B等势，则A ↔ B在所有赋值下为真；反过来，若A ↔ B恒真，也说明二者等势。二者几乎可以视为同一关系的不同表述。
4.4 德摩根律等经典等势规则
德摩根律是逻辑中最常见的等势规则之一，说明否定可以分配到合取或析取内部，并同时改变连接词类型。除此之外，还有分配律、吸收律、幂等律等一系列基础等势式，它们共同构成命题演算的常用工具箱。
5 等势在证明与推理中的应用
等势不仅是理论概念，也是实际推理中的操作手段。它能帮助处理复杂命题，提高证明效率。
5.1 命题替换与不变性
在证明过程中，若已知两个命题等势，就可以在合适位置用一个替换另一个，而不影响整体推理的正确性。这种不变性使得证明过程更灵活，也减少了不必要的重复推导。
5.2 构造等价目标以简化证明
有时原命题形式复杂，不利于直接证明，此时可先将其转化为一个等势但更容易处理的目标。例如，把蕴含改写成析取，把否定推进到内部，往往能显著简化论证步骤。
5.3 将复杂命题改写为标准形式
在自动化推理或手工推导中，常会把命题改写为标准形，如合取范式或析取范式。这个过程依赖一系列等势变换，使表达式结构更加统一，便于比较、判定和后续计算。
6 常见等势例子（入门）
入门阶段通常通过一些典型例子来理解等势的实际样貌。这些例子有助于建立直觉。
6.1 重言式与矛盾式的等势特点
重言式是在任何赋值下都为真的命题，矛盾式则在任何赋值下都为假。两个重言式彼此等势，两个矛盾式也彼此等势，因为它们在所有情形下的真值都固定不变。
6.2 “互为否定/同真”类例子
如果某个命题与其双重否定相比较，二者等势；又如某些表达式虽然写法不同，但实际真值始终同步，也属于等势。通过这类例子可以看到，字面形式不同并不妨碍逻辑上完全一致。
6.3 含蕴含的等势改写示例
典型示例是A → B等势于¬A ∨ B。另一些常见改写还包括对否定蕴含式、复合条件式的重写。此类例子体现了等势在分析复杂条件句时的实用性。
7 相关概念辨析
等势与若干相近概念容易混淆，需要加以区分。它们之间有联系，但侧重点并不相同。
7.1 等势 vs 等价（语用层面）
在日常语言中，“等价”有时会泛指意思相近或作用相同，而逻辑中的等势更严格，要求在所有赋值下真值一致。前者可较宽泛，后者则是形式化、可检验的关系。
7.2 等势 vs 充分条件/必要条件
充分条件与必要条件描述的是单向蕴含关系，而等势要求双向都成立。若A是B的充分条件，并不意味着A与B等势；只有A → B和B → A同时成立时，才能说二者等势。
7.3 等势 vs 可满足性与可证性
可满足性关注的是命题是否存在某种赋值使其为真；可证性关注的是能否在某个系统中推出结论。等势则比较两个命题在所有赋值下的对应关系。它们属于不同层次的问题，不能混为一谈。
8 参见与延伸
等势概念在逻辑学中有较广的延伸，相关主题通常围绕变形、证明和语义等方面展开。
8.1 命题演算中的等价变形
命题演算中的等价变形是理解等势的基础内容，包括各种连接词的交换、分配与消去规则。熟悉这些变形有助于提升推理和化简能力。
8.2 一阶逻辑中更一般的“等价”讨论方向
在一阶逻辑中，类似的等价讨论会扩展到量词、谓词和结构解释层面。此时的等价通常比命题逻辑更复杂，需要考虑对象域与解释方式。
8.3 教材中同主题的不同命名约定
不同教材对这一概念可能采用不同术语，如逻辑等价、语义等价、代换等价等。虽然名称不完全一致，但在入门语境下通常都指向“真值表现一致、可互相替换”这一核心思想。