Quelques rappels  sur conditions ncessaire, condition suffisante :

<div class="definition">
Si P et Q sont des 
proprits (assertions), 
<ul>
<li>
Q est une <span class="defn"> condition ncessaire </span>de P si
Q est vraie lorsque P est vraie </li>
<li>
 Q est une <span class="defn">condition suffisante </span>de P
si P est vraie lorsque Q est vraie
</li>
</ul>
</div>

Dans le langage courant, <span class="defn">condition ncessaire, condition
suffisante, condition ncessaire et suffisante</span>
peuvent se dire d'autres manires en utilisant les mots 
<font color=magenta>si
 </font>,
<font color=magenta>seulement si</font>...

<div class="exercice">
<span class="exercice"> Exercice  </span> 
   sur la \exercise{module=U1/logic/oefiff.fr}{notion de condition ncessaire
et condition suffisante}.
</div>
\comment{
<div class="exercice">
<span class="exercice"> Exercice : </span>
Faites les exercices 4 et 7 de la srie 1 de
"s'exercer/implication" de
<a target=wims_external href ="
http://formation.etud.u-psud.fr/pcsm/mathematiques/">
PCSM</a>
</div>}