必要十分条件の定義

P→Q を含意という。

前件 P は後件 Q の十分条件である。

というのも、P が成り立つだけで十分 Q が成り立つからである。

後件 Q は前件 P の必要条件である。

実際、対偶は ¬Q→¬P であり、Q が成り立たなければ P は成り立たない。

つまり、P が成り立つためには Q が必要である。