Les <span class="defn"> connecteurs
</span> <font color=green > et </font>  et <font color=green > ou </font> sont lis
 l'<font color=magenta>intersection </font> et  la <font color=magenta>
runion </font> des ensembles  et la <font color=green >ngation</font> est lie
   au <font color=magenta>complmentaire </font> d'un ensemble 
  \fold{}{<span class="defn">(ngation)</span>}{<div class="definition"> Si \calP est une assertion, 
  non \calP est l'assertion
qui est vraie si
   \calP est fausse et
   fausse si \calP est vraie. Remarquez que cette dfinition
   contient la rgle du tiers exclu : Une assertion \calP  est vraie ou
   fausse. 
  </div>}
   
    Ce sont des moyens de produire une
nouvelle
assertion  partir de deux autres : par exemple 

<center>
 \calP <font color=green >et </font>  \calQ  <-----> 
 \(\special{color= magenta} X\cap Y) est l'ensemble des lments qui appartiennent 
  \(X) <font color=green >et </font>  \( Y)
 </center>
 
<center>
 \calP <font color=green >ou  </font>  \calQ  <-----> 
 \(\special{color= magenta} X\cup Y) est l'ensemble des lments qui appartiennent 
  \(X) <font color=green >ou  </font>   \(Y)
 </center>
 
<center>
  <font color=green >non   </font>  \calP  <-----> 
 \(\special{color= magenta}^cX) est l'ensemble des lments qui <font color=green >
 n</font>' appartiennent  pas 
  \(X).
 </center>
 