数理逻辑中一种命题连接词。用符号“”（或“”）表示，如AB（或AB）即A和B的等值式，读作“A等值B”（或“A当且仅当B”），其真假关系是：A和B都真或都假则AB真，否则AB假。