必要条件

命題(P⇒Q)が真であるとき、QをPであるための必要条件という。

図式的に書けば十分条件⇒必要条件、である。