同値
読み：どうち
外語：equivalent
順
命題
(P⇒Q)と
逆
命題(Q⇒P)が共に真ならば、PとQは同値である。このとき、P⇔Qと書かれる。
そしてこの場合、PとQは互いに他の必要十分条件であると言われる。
再検索