p ⇒ q と q ⇒ p がどちらも成なり立たつこと。 p ⇔ q で 表ひょう す。
必要ひつよう十じゅう分ふん条件じょうけんとは、「p⇒qp \Rightarrow qp⇒q」と「q⇒pq \Rightarrow pq⇒p」がともに真まの関係かんけいです。
p⇔qp \Leftrightarrow qp⇔q と書かき、「ppp と qqq は同値どうち」ともいいます。たとえば「x=2x = 2x=2」と「2x=42x = 42x=4」は、どちらからどちらも導みちびけるので必要ひつよう十じゅう分ふん条件じょうけんの関係かんけいです。
試験しけんでは 「ppp は qqq の何なん条件じょうけんか」を問とう問題もんだいでは、p⇒qp \Rightarrow qp⇒q と q⇒pq \Rightarrow pq⇒p の真偽しんぎを片方かたほうずつ調しらべる。両方りょうほう真しんなら必要ひつよう十じゅう分ふん、片方かたほうだけ真しんなら必要ひつよう or 十分じゅうぶんのみ。
