かいとうにっき

自然な定義

命題p,qに対し p⇒qが成り立つ時
qはpであるための必要条件
という。

必要とは、国語辞典を引いてみると
「なくてはならないこと」
とあります。
つまり必要という言葉は対偶と密接な関係にあります。