「p⇒qp \Rightarrow qp⇒q」 が真しんのとき、 qqq は ppp で ある ため の 必要ひつよう条件じょうけん。 ない と 困こまる 条件じょうけん。
「p⇒qp \Rightarrow qp⇒q」が真しんのとき、qqq は ppp であるための必要ひつよう条件じょうけんといいます。
ppp が成なり立たつなら qqq も必かならず成なり立たつので、qqq は「ppp になるために欠かかせない条件じょうけん」です。「正方形せいほうけいならば長方形ちょうほうけい」では、「長方形ちょうほうけいである」は「正方形せいほうけいである」ための必要ひつよう条件じょうけんです（正方形せいほうけいなら必かならず長方形ちょうほうけいだから）。
覚おぼえ方かた 矢印やじるしの先さき（結論けつろんqqq）が必要ひつよう条件じょうけん、矢印やじるしのもと（仮定かていppp）が十分条件じゅうぶんじょうけん。「やじるしの先さき＝必要ひつよう」と語呂ごろで覚おぼえると取とり違ちがえにくい。
