同値

命題論理において、あたえられた二つの命題が同値（どうち、equivalent）あるいは等価（とうか）であるとは、それらの真理値が互いに等しいことである。すなわち、一方が真ならば他方は必ず真であり、なおかつ一方が偽ならば他方も必ず偽であるとき、この二つの命題は同値であるという。
Wikipedia.orgをもっと見ると…