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{recurrence1}{le raisonnement par rcurrence}</li>
<li> \link{absurde}{le raisonnement par l'absurde} </li>
<li>  \link{tiersexclu}{le raisonnement par tiers exclu}</li>
</ul>