\comment{<div class="cours">
<span class="cours"> Cours : </span>
  Rvisez le vocabulaire et les  rgles du jeu mathmatique dans
le tome 1 du polycopi du S1, chapitre 1, par. 1, 6. 
</div>

Faisons quelques remarques supplmentaires.}
<ul>
<li>
<font color = green>Il est jaune </font> est une  assertion incomplte, je ne pourrai jamais
dcider si elle est fausse  ou vraie (\fold{}{<span class=defn>assertion</span>}
{<div class="definition"> Une assertion est une affirmation  laquelle on peut
attribuer la valeur vraie ou fausse</div>}).
</li><li>
<font color = green>Le stylo de Marianne est noir </font> est par contre
une assertion au moins s'il n'y a qu'une seule Marianne et qu'elle
n'a qu'un seul stylo.
</li><li>
<font color = green>\(x) est plus grand que \(y) </font>  est une assertion incomplte.
</li><li>
<font color = green>Soit \(x) un homme, il est brun </font> ou <font color = green>Tous les hommes sont
bruns</font> sont des assertions.
</li><li>
    \(\special{color=green} n^2 \geq 4) est une assertion incomplte.
</li><li>
  <font color = green> Tous les entiers naturels vrifient </font> \(\special{color=green}
  n^2\geq 4) est une
assertion
    (fausse mais une assertion quand mme !)
</li><li>
  \(\special{color=green}x^4-2x^2+1=0) n'est pas une assertion complte. En tout cas, elle dpend du contexte dans lequel on se trouve. 
</ul>
Cependant, tous les exemples 
qui prcdent et qui sont pris dans le langage courant peuvent tre sujet  caution, ils servent juste  faire le
passage avec les mathmatiques. Et mme en mathmatiques, on fait souvent ce qu'on appelle
des "abus de langage".  
\comment{
Par exemple pour simplifier, on parle souvent d'une proprit  P(x)
pour
 \(x) appartenant  un ensemble. Il y a en fait
dans cette phrase un quantificateur.
<div class="exercice">
<span class="exercice"> Exercice : </span>
  
 \exercise{lang=fr&cmd=new&module=U1/logic/oefcontra.fr&exo=assertion&qnum=1&qcmlevel=3}{sur les assertions}

</div>}
Une autre diffrence entre la vie courante et les mathmatiques est la suivante : 
 une des rgles du jeu mathmatique est que ce qui
n'est pas affirm comme vrai ne doit pas
tre utilis.  Il n'y a donc pas de sous-entendu comme dans la vie
courante. Par exemple, l'affirmation
<font color= green >Les filles de ce cours sont excellentes </font> ne dit ni ne prtend rien sur
le niveau
des garons comparativement.