かいとうにっき

自然な定義

not(p)を「pの否定」
not(q)を「qの否定」

として、必要条件の定義を対偶から眺めると

命題p,qに対し
p⇒qが成り立つ時
対偶not(q) ⇒not(p) も成り立ちます。

このとき
qはpであるための必要条件という。

これが必要条件の定義です。