(logic) An if and only if conditional wherein the truth of each term depends on the truth of the other
if and only if
biconditional
証明では、各項の真偽が互いに依存する「必要かつ十分」の条件(双条件)を用いて、その命題がちょうどその逆が成り立つときに成り立つことを示しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★