Quelques rappels  sur conditions ncessaire, condition suffisante :

<div class="definition">
Si \calP et \calQ sont des 
proprits (assertions), 
<ul>
<li>
\calQ est une <span class="defn"> condition ncessaire </span>de \calP si
\calQ est vraie lorsque \calP est vraie </li>
<li>
 \calQ est une <span class="defn">condition suffisante </span>de \calP
si \calP est vraie lorsque \calQ 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>}