Ce module  est consacr au langage  et au raisonnement  en
mathmatiques ainsi qu' la thorie des ensembles. Son objectif
essentiel est que vous donniez tout son sens  une proposition crite
avec des symboles mathmatiques et que vous les utilisiez avec
prcision (et non comme des abrviations).


\comment{Vous devez revenir  ce module tout au long de votre
apprentissage des mathmatiques car c'est lors de cet apprentissage
que le contenu de ce module
montrera tout son sens et son utilit.
}
\comment{Il est trs important de reprendre le cours plusieurs fois, avant et
aprs le travail de cette
feuille, dans l'un des ouvrages suivants :}

<h3>Documents</h3>
<div class="thebibliography">
<ol>
<li> F. Liret et D. Martinais, Mathmatiques pour le DEUG, 
 Algbre 1re Anne (Dunod), chapitre 1</li>
<li> A. Auzimour  et F. Petit, Travaux dirigs 
d'algbre (Vuibert)</li>
<li> A. Denmat et F. Haulme,  Algbre gnrale (Dunod), TD 1</li>
</ol>
</div>

<h3>Guide </h3><div class="plan">
<ul><li>\link{tocoutil}{Outils de base}
<ul>
<li>\link{assertion}</li>
<li>\link{connecteur}</li>
<li>\link{quantificateur}</li>
<li>\link{implication}</li>
<li>\link{cssuf}</li>
<li>\link{toccontra}
 	<ul><li>\link{contraposee}</li>
 	<li> \link{reciproque}</li>
	<li>\link{viecourante}</li>
 	</ul></li>
 </ul></li>
<li> \link{tocraison}
	<ul>
	<li>\link{raisonnement}</li>
	<li>\link{tocrecu}</li>
	<ul>
<li>\link{recurrence1}</li>
	<li>\link{recurrence}</li>
	<li>\link{recurrence2}</li>
	<li>\link{recurrencefausse}</li>
	</ul></li>
	<li>\link{absurde}</li>
	<li>\link{tiers-exclu}</li>
	<li>\link{scenario}</li>
	<li>\link{exo-log-courant}</li>
	</ul></li>
</ul>
</div>
\comment{<h3>Histoire</h3>
<div class="histoire">
N'hsitez pas  aller vous promener dans <a target=wims_external href ="http://www.chronomath.com/"> ChronoMath </a> : par exemple, 
les pages sur <a target=wims_external href ="http://www.chronomath.com/chronomath.Cantor.html">Cantor</a>, 
<a target=wims_external href ="http://chronomath.irem.univ-mrs.fr/chronomath/Peano.html">Peano</a>
 ou encore sur l'<a target=wims_external href ="http://chronomath.irem.univ-mrs.fr/chronomath/exhaustion.html">exhaustion</a>
ou le raisonnement par l'absurde ou le syllogisme d'<a target=wims_external href ="http://chronomath.irem.univ-mrs.fr/chronomath/Aristote.html">Aristote</a>.
 </div>}
\comment{<ul>Quelques rfrences utilises
<font fontsize=-2>
<li>   M. Condamine et P. Vissio, Analyse et Algbre (classes de premire)
1970 (Delagrave)
<li><a target=wims_external href ="http://www.cc.gatech.edu/people/home/idris/AlgorithmsProject/ProofMethods/Induction/UnderstandingInduction.html</li>
   ">AlgorithmsProject</a></li>
<li><a target=wims_external href ="http://www.mnsfld.edu/~rwalker/Logic.html#QL
">Logique, Walker</a></li>
<li>   <a target=wims_external href ="http://www.jgsee.kmutt.ac.th/exell/Logic/Logic11.htm
">Logic</a></li>
</ul>
</font>}