同値

論理学で、二つの命題p、qにおいて、一方が真であれば他方も真、一方が偽であれば他方も偽という関係が成り立つとき、pとqは同値であるという。

また、「pならばq」と「qならばp」が同時に成り立つとき、pとqは同値であるという。