「PならばQ」の命題が真のとき

必要条件

QはPの必要条件

十分条件

PはQの十分条件

必要十分条件

「PならばQ」の命題が真、かつ「QならばP」の命題が真のとき
PはQの(QはPの)必要十分条件