等值式

∵A<=>B∴A和B具有相同的真值，即A双条件B永为真，即(A→B)∧(B→A) 。A等价于B就能直接得出A双条件B。就好比A→B<=>非A∨B一样，可以用真值表证明⇔不是联结符，它是用来说明A与B等值（A↔B为重言式）的一种记法，因而⇔是元语言符号