等値

5个基本命题联结词之一，用符号表示。符号读作“当且仅当”，是自然语言中的联结词“当且仅当”的抽象。令p，q表示任意命题，公式pq称为等值式，读作“p当且仅当q”，是复合命题“p当且仅当q”的抽象，也是复合命题“p当且仅当q”的命题形式。pq的真假完全由p和q的真假确定。当p和q二者同真或者二者同假时，pq为真，当p和q二者之一为真另一为假时，pq为假。