数学逻辑中一种命题连接词。用符号“↔”(或“≡”)表示。如A↔B(或A≡B)即A和B的等值式,读作“A等值B”(或“A当且仅当B”),其真假关系是:A和B都真或都假则A↔B真,否则A↔B假。
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。