必要条件広辞苑の定義

ＰがなりたたなければＱも成り立たないという関係があるとき、ＰをＱの必要条件という。

→仮定と結論がどうのこうのという、数学の教科書よりわかりやすい定義だ。