逻辑等价 在逻辑中陈述p和q是逻辑等价的如果它们有相同的逻辑内容 p和q是语法等价的如果每个都可以证明自另一个p和q是语义等价的如果它们在所有模型中有相同的真值 逻辑等价经常混淆于实质等价前者是在元语言中的一个陈述断言关于目标语言中的陈述p和q的某个事情而p和q的实质等价常写为p  q自身是在目标语言中另一个陈述但它们是有联系的p和q是语法等价的当且仅当p  q是一个定理而p和q是语义等价的当且仅当p  q是重言式 逻辑等价有时表示为p  q或p  q但是后者记号也用于实质等价