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