等值詞

數學邏輯中一種命題連線詞。用符號“↔”（或“≡”）表示。如A↔B（或A≡B）即A和B的等值式，讀作“A等值B”（或“A若且唯若B”），其真假關係是：A和B都真或都假則A↔B真，否則A↔B假。