Il y a trois rgles (principes) suivants qui s'appliquent tout le temps  : 

<ul>
<li>  <font color= magenta> <b>si P est vraie et P  \(\Rightarrow) Q vraie,
alors l'assertion Q est vraie.</b> </font >  


  Cette rgle est en fait une dfinition de ce que signifie qu'une implication
est vraie.  On l'emploie tout le temps sans mme s'en rendre compte. 

 \fold{exrais}{<span class="exemple">Exemple</span>}</li>
<li><font color= magenta> <b> Si P est vraie, si  P  \Rightarrow Q vraie, si Q
 \Rightarrow R  est vraie,
   alors R est vraie. </b> </font> 

C'est ce qu'on appelle un 
syllogisme.
</li>
   <li>
    Raisonnement par dichotomie ou sparation des cas : on essaye un cas puis l'autre. 
  Le raisonnement par sparation des cas consiste  numrer les cas 
possibles. 

 \fold{exologcourant}{<span class="exemple">Exemple</span>}</li>
</ul>

Les autres types de raisonnement sont 
<ul><li>\link{tocrecu}{le raisonnement par rcurrence}</li>
<li>\link{absurde}{le raisonnement par l'absurde} </li>
<li>\link{tiersexclu}{le raisonnement par tiers exclu}</li>
</ul>