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 P est une assertion, non P est l'assertion
qui est vraie si
   P est fausse et
   fausse si P est vraie. Remarquez que cette dfinition
   contient la rgle du tiers exclu : Une assertion P  est vraie ou
   fausse. 
  </div>})
   
    Ce sont des moyens de produire une
nouvelle
assertion  partir de deux autres : par exemple 

<center>
 P <font color=green >et </font>  Q  <-----> 
 \(\special{color= magenta} X\cap Y) est l'ensemble des lments qui appartiennent 
  \(X) <font color=green >et </font>  \( Y)
 </center>
 
<center>
 P <font color=green >ou  </font>  Q  <-----> 
 \(\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>  P  <-----> 
 \(\special{color= magenta}^cX) est l'ensemble des lments qui <font color=green >
 n<font>' appartiennent  pas 
  \(X).
 </center>
 