等值词

等值词   děng zhí cí

数理逻辑中一种命题连接词。用符号“”(或“”)表示,如AB(或ABAB的等值式,读作“A等值B(或“A当且仅当B”),其真假关系是:AB都真或都假则AB真,否则AB假。