사전

〔論〕 二つの命題 p， q で， p が真である時 q も真， p が偽である時 q も偽であるような場合， p と q は同値であるという。 また， 「 p ならば q 」という命題が真でその逆「 q ならば p 」という命題も真の場合， 命題 p， q は同値であるという。 等価。 等値。 同等。