Il ne faut pas confondre la contrapose  d'une implication avec l'\fold{}{<span class="defn">implication rciproque.</span>}{implication rciproque  : <div class="definition">
La rciproque de l'implication \(\mathcal{P}  \Rightarrow \mathcal{Q})  est
l'implication  \(\mathcal{Q}  \Rightarrow \mathcal{P})
(il s'agit donc d'une autre assertion)</div>}

Donnons un exemple en langage courant :
<center><font color=green> S'il pleut, le sol est mouill</font>
</center>
a pour <font color=magenta>contrapose </font>:
<center><font color=magenta> si le sol
n'est
pas mouill, il ne pleut pas</font>
</center> nonc plus couramment <center><font color=magenta> le sol est
sec,
donc il ne pleut pas. </font></center>


Ces deux implications sont vraies et
quivalentes. La <font color=orange>rciproque </font> est : 
<center> <font color=orange>si le sol est mouill, il pleut.</font> </center>

Cette implication est fausse, le sol peut tre mouill par le passage
du camion municipal de nettoyage ou bien par de la neige qui a fondu.

<div class="exercice">
<span class="exercice">Exercice  </span> sur les 
\exercise{cmd=new&module=U1/logic/oefcontra.fr&exo=contraposelang}{contraposes et rciproques} 
dans le langage courant. 
</div>

Attention quand mme aux 
\link{viecourante}{<b>piges de la vie courante ! </b>}

\comment{<div class="exercice">
<font face="Verdana,Helvetica"><font color="#3333FF">
  <b>Exercices</b></font></font> 6 et 9 de la srie 1 de "s'exercer/implication"
<a target=wims_external href =" http://formation.etud.u-psud.fr/pcsm/mathematiques
/logique1/">PCSM</a>
</div>
}

<div class="exercice">
<span class="exercice"> Exercice  </span>  sur les 
\exercise{cmd=new&module=U1/logic/oefcontra.fr&exo=Contrapose}{contraposes et rciproques} 
en mathmatiques.  
</div>