【例】
p:△ABCは正三角形である　q:△ABCは二等辺三角形である。

このような場合[p⇒q]は真だが、[q⇒p]は偽である。
[p⇒q]の証明は「△ABCが正三角形(=三辺が等しい)ならば、その三角形は二等辺三角形ともとれる」となる。
(正三角形は二等辺三角形でもある)
よって、△ABCが正三角形であるためには「△ABCは二等辺三角形」という条件は、【必要】であるが、正三角形の定義を【十分】に満たしているとは言えない。
だから、q は p の必要条件である。

そして、△ABCが二等辺三角形であるために「△ABCは正三角形」という条件は
「正三角形ならば二等辺三角形である」ため、その条件を【十分】に満たしているが、
『二等辺三角形であるためには〈その三角形は絶対的に正三角形の必要があるか〉』と言えば、その条件は必ずしも【必要】ではない。
よって、p は q の十分条件である。

こうかな？