等价

(1)逻辑联结词。一般用“≡”或“鸎”表示。它联结两个逻辑公式<I>α</I>，<I>β</I>得到一个新的逻辑公式“<I>α</I>≡<I>β</I>”，读作“<I>α</I>等价<I>β</I>”或“<I>α</I>双向蕴含<I>β</I>”。“<I>α</I>≡<I>β</I>”为“真”当且仅当<I>α</I>、<I>β</I>同时为“真”或同时为“假”。(2)一种逻辑运算。如果<I>P</I>，<I>Q</I>，<I>R</I>，…均是语句，则当且仅当所有的语句都真或都假时，<I>P</I>，<I>Q</I>，<I>R</I>，…的等价式为真。

等价

等值；等量；等价