Index 1

<html dir="ltr" class=" Mozilla"><head>
<style type="text/css">
HTML{height:100%;cursor:text}
BODY{padding:3px;border:0;margin:0}
.PlainText,.HTML{font-family:'Lucida Console' !important;font-size:80%}
P{margin:0 !important;padding:0 !important}
BLOCKQUOTE,UL,OL{margin-top:0 !important;margin-bottom:0 !important;padding-top:
0 !important;padding-bottom:0 !important}
*{text-indent:0 !important}
SPAN.squiggly{border-bottom:dotted 1px #f00}
</style>
<script type="text/javascript">
function clk(){parent&&parent.rteOnClick&&parent.rteOnClick()}
function kyu(){parent&&parent.rteOnKeyUp&&parent.rteOnKeyUp()}
function Init(){
var wl=window.location,d=document;
if(wl.search.indexOf("pf=pf")>=0){
var hn=wl.hostname,dmn=hn.substr((hn.lastIndexOf('.',(hn.lastIndexOf('.',hn.leng
th))-1))+1).toLowerCase();
if (("live.com"==dmn)||("live-int.com"==dmn))d.domain=dmn}
if (d.addEventListener){d.addEventListener('click',clk,false);d.addEventListener
('keyup',kyu,false);}
d.body.hideFocus=true}
</script>
<title>Message body</title></head><body class=" RichText" style="font-size: 10pt
; font-family: 'Tahoma';" onload="Init();" onclick="clk();" onkeyup="kyu();"> <img alt
="http://imm.io/media/17/17jy.jpg" src="http://imm.io/media/17/17jy.jpg"> 
Bienvenu... &nbs
p; on va traités les sujets ma
thématique 1 par 1 a coté de vos cours universitaires pour vous rester bien préparer. <div alig
n="center"><img alt="http://topicat.ro7ee.com/data/media/1/ramadan.png" src="htt
p://topicat.ro7ee.com/data/media/1/ramadan.png"> </div>S u j e t: &n
bsp; &nbs
p;
 Logique et langage des ensembles <div align="left">Logique et langage des ense
mbles</div>En utilisant le plan de la partie gauche, vous ave
z accès d'abord au résumé. Sur chaque page de droite, vous pouvez passer du résumé au cour
s détaillé et inversement. Une page de résumé correspond à une ou plusieurs pages du cours
détaillé. Le bouton détail renvoie toujours à la première page de cette série. En utilisan
l'ascenseur et les boutons de navigation de la fenêtre de droite, vous avez accès a
u détail du cours. Certains exercices vous seront proposés pendant le cours, pour te
ster votre compréhension immédiate de la notion introduite. En première lecture, faite
s-les avant de continuer la lecture du cours, puis faites les séances d'exercices
et celles d'autoévaluation. </fon
t> Connecteurs<div align="left"></div>Ce cours présent
e l'usage des connecteurs logiques "non", "et", "ou".
 <img src="http://www.uel.education.fr/consultation/ref
erence/images/images/txtappr.gif" alt="Apprendre" width="240" height="66"> ConnecteursCe cours présente l'usage des connecteur
s logiques "non", "et", "ou".<h2 align="left">Négati
on</h2><div align="left"></div><h3 align="left">Notati
on de la négation d'une proposition </h3><div align="left">On note "non P" le contraire de la proposition "P",c'es
t-à-dire la proposition qui est vraie quand "P" est f
ausseet qui est fausse quand "P" est vraie. Par exe
mple si "P" estla proposition "x = 0", "non P" est la proposition "x <img src="http://www.uel.
education.fr/consultation/reference/symboles/12pt/ne.gif" border="0"> 0"</f
ont>.</div><h3 align="left">Remarque </h3><div align="left"> Une notation des logiciens pour"non <f
ont size="5">P" est la notation "¬ P".
On se contentera dela notation avec le mot non, car nous ne développons pas un cou
rsde logique.</div><h3 align="left">Table de vérité de la négation </h3><div align="left
"> </div><div align="left"></div><table align="left" border="1" cellpa
dding="2" cellspacing="2"><tbody><tr><td align="center" nowrap="nowrap"> p &nb
sp; </td><td align="center" nowrap="nowra
p"> non p </td></tr><tr><td align="center" now
rap="nowrap">1</td><td align="cente
r" nowrap="nowrap">0</td></tr><tr><
td align="center" nowrap="nowrap">0
</td><td align="center" nowrap="nowrap">1</td></tr></tbody></table><div align="left"> </div><h3 align="left"> </h3><h3 align="left"> </h3><h3 align="left"> </h3><h3 align="left">Négation de la négation </h3><div align="left"> </
div><h2 align="left">Disjonction</h2><div align="left"
>Lorsque l'on a d
eux propositions "P", "Q"</fo
nt>,on peut former une proposition que l'on appelle la disjonction deces deux pr
opositions, et que l'on note "P ou Q". Laproposition "P ou
Q" est vraie si l'une aumoins
des deux propositions "P" ou "Q" est vraie.</div><h3 align="left">Attention</h3><div align="left"> Ce point diffère du lang
age courant. Enmathématiques, le "ou" est non-exclusif</fo
nt>, c'est à dire qu'ilcomprend la possibilité que les deux propositions soient
vraies.Ainsi la proposition "xy = 0" équiva
ut à la proposition "x = 0 ou y = 0", elle est vraie quand l'u
n des deux nombresest nul, elle est aussi vraie quand les deux sont nuls.
</div><h3 align="left">
Remarque </h3><div align="left">Une notation deslogiciens pour "P
 ou Q" est "P <fo
nt face="symbol">Ú Q", que nousn'emploierons pas dans ce cour
s.</div><h3 align="left">Commutativité </h3><div align="left">Il est clair que (P ou Q) ⇔ (Q ou P)</div><h3 align="left">Table de vérité de la disjonction</h3><div align=
"left"></div><table align="left" border="1" cellpadding="2" cellspacing="2"><tbo
dy><tr><td align="center" nowrap="nowrap">
p</td><td align="center" nowrap="nowrap">q</td><td align="center" nowrap="nowrap">p ou q</t
d></tr><tr><td align="center" nowrap="nowrap">1</td><td align="center" nowrap="nowrap">1</td><td align="center" nowrap="nowrap">1</td></tr><tr><td align="center" nowrap="nowrap">1</td><td align="center" nowrap="nowrap">0</td><td align="center" nowrap="now
rap">1</td></tr><tr><td align="cent
er" nowrap="nowrap">0</td><td align
="center" nowrap="nowrap">1</td><td
align="center" nowrap="nowrap">1</
td></tr><tr><td align="center" nowrap="nowrap">0</td><td align="center" nowrap="nowrap">0</td><td align="center" nowrap="nowrap">0</td></tr></tbody></table><h2 align="left"> </h2><h2
align="left"> </h2><h2 align="left"> </h2><h2 align="left"> </h2><h2 a
lign="left"> </h2><h2 align="left">Lois de Morgan
</h2><div align="left"> Le mathématicien De Morgan a énoncé des lois qui indiquent comment prend
re lanégation d'une disjonction, ou la négation d'une conjonction.</div><h3 a
lign="left">Négation de l
a disjonction </h3><div align="left">D'après l'inventaire des trois cas possibles pou
r la proposition"P ou Q"</fo
nt>, la proposition "non ( P ou Q
)" signifie que l'on a "P" faux et "Q" faux, c'est-à-direque l'on a la proposition "(non <fon
t size="5">P) et (non Q)" : <
/div>non (P ou Q) <img src="http://www.uel.ed
ucation.fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent
="" border="0">((non P) et (
non Q))<div align="left"></div><h3 al
ign="left">Négation de la
conjonction </h3><div align="left">De même la proposition "non (P et Q)" signifieque l'on est dans l'un
des trois cas : "P" faux et "Q" vrai,"P" faux et "Q
" faux, "P" vrai et "Q
" faux, c'est-à-direque l'une au moins des propriétés "P"
, "Q" est fausse, et quel'on a la propositio
n "(non P) ou (non Q)
" : </div>non (P et Q) <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent=""
border="0"> ((non P) <fo
nt style="font-size: 16pt;" size="4">ou(non Q))La méthode des tables de vérité fournit une preuve de ces propriétés.
Nous vous conseillons d'essayer de remplir les colonnes avant de vérifier les résult
ats obtenus.Cliquez dans l'en-tête d'une colonne pour évaluer celle-ci. (1
= VRAI , 0 = FAUX , E = erreur) <fo
nt face="Times New Roman" size="4">Notez bien que les deux premières colonnes f
ont l'inventaire de tous les cas possibles.<h3 align="left"> <fon
t face="Arial">Négation de la disjonction</h3><center><form name="Test1"><t
able border="2" width="79%" height="8"> <tbody><tr bordercolor="#808080" align=
"center" bgcolor="#c0c0c0"> <th bgcolor="#c0c0c0">P</th> <th bgcolor="#c0c
0c0">Q</th> <th bgcolor="#c0c0c0"> <input value="non P" onclick=" valN
ON(0,2)" type="button"> </th> <th bgcolor="#c0c0c0"> <input value="n
on Q" onclick="valNON(1,3)" type="button"> </th> <th bgcolor="#c0c0c0">
<input value="P ou Q" onclick="valOU(0,1,4)" type="button"> </th> <th
bgcolor="#c0c0c0"> <input value="non (P ou Q)" onclick="valNON(4,5)" type=
"button"> </th> <th bgcolor="#c0c0c0"> <input value="non P et non Q"
onclick="valET(2,3,6)" type="button"> </th> </tr> <tr align="center" bgcolo
r="#fffbf0"> <td><input name="p0" size="2" maxlength="1" value="1" onchange="
raz(0)" type="text"></td> <td><input name="q0" size="2" maxlength="1" value="
1" onchange="raz(0)" type="text"></td> <td><input name="NONp0" size="2" maxle
ngth="1" onchange="raz(0)" type="text"></td> <td><input name="NONq0" size="2"
maxlength="1" onchange="raz(0)" type="text"></td> <td><input name="pETq0" si
ze="2" maxlength="1" onchange="raz(0)" type="text"></td> <td><input name="NON
pEq0" size="2" maxlength="1" onchange="raz(0)" type="text"></td> <td><input n
ame="NpOUNq0" size="2" maxlength="1" onchange="raz(0)" type="text"></td> </tr><
tr align="center" bgcolor="#fffbf0"> <td><input name="p1" size="2" maxlength=
"1" value="1" onchange="raz(1)" type="text"></td> <td><input name="q1" size="
2" maxlength="1" value="0" onchange="raz(1)" type="text"></td> <td><input nam
e="NONp1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> <td><inp
ut name="NONq1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> <t
d><input name="pETq1" size="2" maxlength="1" onchange="raz(1)" type="text"></td>
<td><input name="NONpEq1" size="2" maxlength="1" onchange="raz(1)" type="tex
t"></td> <td><input name="NpOUNq1" size="2" maxlength="1" onchange="raz(1)" t
ype="text"></td> </tr><tr align="center" bgcolor="#fffbf0"> <td><input name=
"p2" size="2" maxlength="1" value="0" onchange="raz(2)" type="text"></td> <td
><input name="q2" size="2" maxlength="1" value="1" onchange="raz(2)" type="text"
></td> <td><input name="NONp2" size="2" maxlength="1" onchange="raz(2)" type=
"text"></td> <td><input name="NONq2" size="2" maxlength="1" onchange="raz(2)"
type="text"></td> <td><input name="pETq2" size="2" maxlength="1" onchange="r
az(2)" type="text"></td> <td><input name="NONpEq2" size="2" maxlength="1" onc
hange="raz(2)" type="text"></td> <td><input name="NpOUNq2" size="2" maxlength
="1" onchange="raz(2)" type="text"></td> </tr><tr align="center" bgcolor="#fffb
f0"> <td><input name="p3" size="2" maxlength="1" value="0" onchange="raz(3)"
type="text"></td> <td><input name="q3" size="2" maxlength="1" value="0" oncha
nge="raz(3)" type="text"></td> <td><input name="NONp3" size="2" maxlength="1"
onchange="raz(3)" type="text"></td> <td><input name="NONq3" size="2" maxleng
th="1" onchange="raz(3)" type="text"></td> <td><input name="pETq3" size="2" m
axlength="1" onchange="raz(3)" type="text"></td> <td><input name="NONpEq3" si
ze="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input name="NpO
UNq3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> </tr></tbody><
/table> <input name="razButton" value="remise à zéro" type="reset"><input name
="Evaluation" value="tout évaluer" onclick="toutEval()" type="button"> <div
align="left"><h3> Négation de la conjonction</h3><center><table border="2" width="79%" height="8"> <tbody><tr bordercolor="#808
080" align="center" bgcolor="#c0c0c0"> <th bgcolor="#c0c0c0">P</th> <th bg
color="#c0c0c0">Q</th> <th bgcolor="#c0c0c0"> <input value="non P" onc
lick=" valNON(0,2)" type="button"> </th> <th bgcolor="#c0c0c0"> <inp
ut value="non Q" onclick="valNON(1,3)" type="button"> </th> <th bgcolor="#
c0c0c0"> <input value="P et Q" onclick="valET(0,1,4)" type="button"> </
th> <th bgcolor="#c0c0c0"> <input value="non(P et Q)" onclick="valNON(4
,5)" type="button"> </th> <th bgcolor="#c0c0c0"> <input value="non P
ou non Q" onclick="valOU(2,3,6)" type="button"> </th> </tr> <tr align="cent
er" bgcolor="#fffbf0"> <td><input name="p0" size="2" maxlength="1" value="1"
onchange="raz(0)" type="text"></td> <td><input name="q0" size="2" maxlength="
1" value="1" onchange="raz(0)" type="text"></td> <td><input name="NONp0" size
="2" maxlength="1" onchange="raz(0)" type="text"></td> <td><input name="NONq0
" size="2" maxlength="1" onchange="raz(0)" type="text"></td> <td><input name=
"pETq0" size="2" maxlength="1" onchange="raz(0)" type="text"></td> <td><input
name="NONpEq0" size="2" maxlength="1" onchange="raz(0)" type="text"></td> <t
d><input name="NpOUNq0" size="2" maxlength="1" onchange="raz(0)" type="text"></t
d> </tr><tr align="center" bgcolor="#fffbf0"> <td><input name="p1" size="2"
maxlength="1" value="1" onchange="raz(1)" type="text"></td> <td><input name="
q1" size="2" maxlength="1" value="0" onchange="raz(1)" type="text"></td> <td>
<input name="NONp1" size="2" maxlength="1" onchange="raz(1)" type="text"></td>
<td><input name="NONq1" size="2" maxlength="1" onchange="raz(1)" type="text"><
/td> <td><input name="pETq1" size="2" maxlength="1" onchange="raz(1)" type="t
ext"></td> <td><input name="NONpEq1" size="2" maxlength="1" onchange="raz(1)"
type="text"></td> <td><input name="NpOUNq1" size="2" maxlength="1" onchange=
"raz(1)" type="text"></td> </tr><tr align="center" bgcolor="#fffbf0"> <td></
td> <td><input name="q2" size="2" maxlength="1" value="1" onchange="raz(2)" t
ype="text"></td> <td><input name="NONp2" size="2" maxlength="1" onchange="raz
(2)" type="text"></td> <td><input name="NONq2" size="2" maxlength="1" onchang
e="raz(2)" type="text"></td> <td><input name="pETq2" size="2" maxlength="1" o
nchange="raz(2)" type="text"></td> <td><input name="NONpEq2" size="2" maxleng
th="1" onchange="raz(2)" type="text"></td> <td><input name="NpOUNq2" size="2"
maxlength="1" onchange="raz(2)" type="text"></td> </tr><tr align="center" bgco
lor="#fffbf0"> <td><input name="p3" size="2" maxlength="1" value="0" onchange
="raz(3)" type="text"></td> <td><input name="q3" size="2" maxlength="1" value
="0" onchange="raz(3)" type="text"></td> <td><input name="NONp3" size="2" max
length="1" onchange="raz(3)" type="text"></td> <td><input name="NONq3" size="
2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input name="pETq3"
size="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input name="N
ONpEq3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input
name="NpOUNq3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> </tr
></tbody></table> <input name="razButton" value="remise à zéro" type="reset"><
input name="Evaluation" value="tout évaluer" onclick="toutEval()" type="button"> <div align="left"><h2>Lois de distributivité</h2>
On va démontrer deu
x lois dedistributivité par les tables de vérité. <h3>La conjonction est distributive par r
apport à ladisjonction </h3> (P et (Q ou R))<img src="http://www.uel.education.fr/consultation/refe
rence/symboles/12pt/long2harr.gif" équivalent="" border="0"> ((P
et Q) ou ( P et R)) <h3>La disjonction est distributive par r
apport à laconjonction </h3> (P ou (Q et R))<img src="http://www.uel.education.
fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent="" bord
er="0"> ((P ou Q)
et ( P ou R))<table border="2"
width="79%" height="8"><tbody><tr bordercolor="#808080" align="center" bgcolor="
#c0c0c0"><th bgcolor="#c0c0c0">P</th> <th bgcolor="#c0c0c0">Q</th> <th bgc
olor="#c0c0c0">R</th> <th bgcolor="#c0c0c0"> <input value="Q ou R" onc
lick="valOU(1,2,3)" type="button"> </th> <th bgcolor="#c0c0c0"> <inp
ut value="P et Q" onclick="valET(0,1,4)" type="button"> </th> <th bgcolor=
"#c0c0c0"> <input value="P et R" onclick="valET(0,2,5)" type="button">
</th> <th bgcolor="#c0c0c0"> <input value="(P et Q) ou (P et R)" onclic
k="valOU(4,5,6)" type="button"> </th> <th bgcolor="#c0c0c0"> <input
value="P et (Q ou R)" onclick="valET(0,3,7)" type="button"> </th> </tr> <tr
align="center" bgcolor="#fffbf0"> <td><input name="p0" size="2" maxlength="1
" value="1" onchange="raz(0)" type="text"></td> <td><input name="q0" size="2"
maxlength="1" value="1" onchange="raz(0)" type="text"></td> <td><input name=
"r0" size="2" maxlength="1" value="1" onchange="raz(0)" type="text"></td> <td
><input name="qOUr0" size="2" maxlength="1" onchange="raz(0)" type="text"></td>
<td><input name="pETq0" size="2" maxlength="1" onchange="raz(0)" type="text">
</td> <td><input name="pETr0" size="2" maxlength="1" onchange="raz(0)" type="
text"></td> <td><input name="pEqOUpEr0" size="2" maxlength="1" onchange="raz(
0)" type="text"></td> <td><input name="pETqOr0" size="2" maxlength="1" onchan
ge="raz(0)" type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0"> <
td><input name="p1" size="2" maxlength="1" value="1" onchange="raz(1)" type="tex
t"></td> <td><input name="q1" size="2" maxlength="1" value="1" onchange="raz(
1)" type="text"></td> <td><input name="r1" size="2" maxlength="1" value="0" o
nchange="raz(1)" type="text"></td> <td><input name="qOUr1" size="2" maxlength
="1" onchange="raz(1)" type="text"></td> <td><input name="pETq1" size="2" max
length="1" onchange="raz(1)" type="text"></td> <td><input name="pETr1" size="
2" maxlength="1" onchange="raz(1)" type="text"></td> <td><input name="pEqOUpE
r1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> <td><input nam
e="pETqOr1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> </tr> <
tr align="center" bgcolor="#fffbf0"> <td><input name="p2" size="2" maxlength=
"1" value="1" onchange="raz(2)" type="text"></td> <td><input name="q2" size="
e="r2" size="2" maxlength="1" value="1" onchange="raz(2)" type="text"></td> <
td><input name="qOUr2" size="2" maxlength="1" onchange="raz(2)" type="text"></td
> <td><input name="pETq2" size="2" maxlength="1" onchange="raz(2)" type="text
"></td> <td><input name="pETr2" size="2" maxlength="1" onchange="raz(2)" type
="text"></td> <td><input name="pEqOUpEr2" size="2" maxlength="1" onchange="ra
z(2)" type="text"></td> <td><input name="pETqOr2" size="2" maxlength="1" onch
ange="raz(2)" type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0">
<td><input name="p3" size="2" maxlength="1" value="1" onchange="raz(3)" type="t
ext"></td> <td><input name="q3" size="2" maxlength="1" value="0" onchange="ra
z(3)" type="text"></td> <td><input name="r3" size="2" maxlength="1" value="0"
onchange="raz(3)" type="text"></td> <td><input name="qOUr3" size="2" maxleng
th="1" onchange="raz(3)" type="text"></td> <td><input name="pETq3" size="2" m
axlength="1" onchange="raz(3)" type="text"></td> <td><input name="pETr3" size
="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input name="pEqOU
pEr3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><input n
ame="pETqOr3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> </tr>
<tr align="center" bgcolor="#fffbf0"> <td><input name="p4" size="2" maxlengt
h="1" value="0" onchange="raz(4)" type="text"></td> <td><input name="q4" size
="2" maxlength="1" value="1" onchange="raz(4)" type="text"></td> <td><input n
ame="r4" size="2" maxlength="1" value="1" onchange="raz(4)" type="text"></td>
<td><input name="qOUr4" size="2" maxlength="1" onchange="raz(4)" type="text"></
td> <td><input name="pETq4" size="2" maxlength="1" onchange="raz(4)" type="te
xt"></td> <td><input name="pETr4" size="2" maxlength="1" onchange="raz(4)" ty
pe="text"></td> <td><input name="pEqOUpEr4" size="2" maxlength="1" onchange="
raz(4)" type="text"></td> <td><input name="pETqOr4" size="2" maxlength="1" on
change="raz(4)" type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0">
<td><input name="p5" size="2" maxlength="1" value="0" onchange="raz(5)" type=
"text"></td> <td><input name="q5" size="2" maxlength="1" value="1" onchange="
raz(5)" type="text"></td> <td><input name="r5" size="2" maxlength="1" value="
0" onchange="raz(5)" type="text"></td> <td><input name="qOUr5" size="2" maxle
ngth="1" onchange="raz(5)" type="text"></td> <td><input name="pETq5" size="2"
maxlength="1" onchange="raz(5)" type="text"></td> <td><input name="pETr5" si
ze="2" maxlength="1" onchange="raz(5)" type="text"></td> <td><input name="pEq
OUpEr5" size="2" maxlength="1" onchange="raz(5)" type="text"></td> <td><input
name="pETqOr5" size="2" maxlength="1" onchange="raz(5)" type="text"></td> </tr
> <tr align="center" bgcolor="#fffbf0"> <td><input name="p6" size="2" maxlen
gth="1" value="0" onchange="raz(6)" type="text"></td> <td><input name="q6" si
ze="2" maxlength="1" value="0" onchange="raz(6)" type="text"></td> <td><input
name="r6" size="2" maxlength="1" value="1" onchange="raz(6)" type="text"></td>
<td><input name="qOUr6" size="2" maxlength="1" onchange="raz(6)" type="text">
</td> <td><input name="pETq6" size="2" maxlength="1" onchange="raz(6)" type="
text"></td> <td><input name="pETr6" size="2" maxlength="1" onchange="raz(6)"
type="text"></td> <td><input name="pEqOUpEr6" size="2" maxlength="1" onchange
="raz(6)" type="text"></td> <td><input name="pETqOr6" size="2" maxlength="1"
onchange="raz(6)" type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0"
> <td><input name="p7" size="2" maxlength="1" value="0" onchange="raz(7)" typ
e="text"></td> <td><input name="q7" size="2" maxlength="1" value="0" onchange
="raz(7)" type="text"></td> <td><input name="r7" size="2" maxlength="1" value
="0" onchange="raz(7)" type="text"></td> <td><input name="qOUr7" size="2" max
length="1" onchange="raz(7)" type="text"></td> <td><input name="pETq7" size="
2" maxlength="1" onchange="raz(7)" type="text"></td> <td><input name="pETr7"
size="2" maxlength="1" onchange="raz(7)" type="text"></td> <td><input name="p
EqOUpEr7" size="2" maxlength="1" onchange="raz(7)" type="text"></td> <td><inp
ut name="pETqOr7" size="2" maxlength="1" onchange="raz(7)" type="text"></td> </
tr></tbody></table> <input name="razButton" value="remise à zéro" type="reset"><input name="Evaluation" value="tout évaluer" onclick="toutEval()" type="button">
 <table border="2" width="79%" height="8"><tbody><tr bordercolor="#808080
" align="center" bgcolor="#c0c0c0"><th bgcolor="#c0c0c0">P</th> <th bgcolor="
#c0c0c0">Q</th> <th bgcolor="#c0c0c0">R</th> <th bgcolor="#c0c0c0">
<input value="Q et R" onclick="valET(1,2,3)" type="button"> </th> <th bgc
olor="#c0c0c0"> <input value="P ou Q" onclick="valOU(0,1,4)" type="button"
> </th> <th bgcolor="#c0c0c0"> <input value="P ou R" onclick="valOU(
0,2,5)" type="button"> </th> <th bgcolor="#c0c0c0"> <input value="(P
ou Q) et (P ou R)" onclick="valET(4,5,6)" type="button"> </th> <th bgcolo
r="#c0c0c0"> <input value="P ou (Q et R)" onclick="valOU(0,3,7)" type="but
ton"> </th> </tr> <tr align="center" bgcolor="#fffbf0"> <td><input name=
"p0" size="2" maxlength="1" value="1" onchange="raz(0)" type="text"></td> <td
><input name="q0" size="2" maxlength="1" value="1" onchange="raz(0)" type="text"
></td> <td><input name="r0" size="2" maxlength="1" value="1" onchange="raz(0)
" type="text"></td> <td><input name="qOUr0" size="2" maxlength="1" onchange="
raz(0)" type="text"></td> <td><input name="pETq0" size="2" maxlength="1" onch
ange="raz(0)" type="text"></td> <td><input name="pETr0" size="2" maxlength="1
" onchange="raz(0)" type="text"></td> <td><input name="pEqOUpEr0" size="2" ma
xlength="1" onchange="raz(0)" type="text"></td> <td><input name="pETqOr0" siz
e="2" maxlength="1" onchange="raz(0)" type="text"></td> </tr> <tr align="cente
r" bgcolor="#fffbf0"> <td><input name="p1" size="2" maxlength="1" value="1" o
nchange="raz(1)" type="text"></td> <td><input name="q1" size="2" maxlength="1
" value="1" onchange="raz(1)" type="text"></td> <td><input name="r1" size="2"
maxlength="1" value="0" onchange="raz(1)" type="text"></td> <td><input name=
"qOUr1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> <td><input
name="pETq1" size="2" maxlength="1" onchange="raz(1)" type="text"></td> <td>
<input name="pETr1" size="2" maxlength="1" onchange="raz(1)" type="text"></td>
<td><input name="pEqOUpEr1" size="2" maxlength="1" onchange="raz(1)" type="tex
t"></td> <td><input name="pETqOr1" size="2" maxlength="1" onchange="raz(1)" t
ype="text"></td> </tr> <tr align="center" bgcolor="#fffbf0"> <td><input nam
e="p2" size="2" maxlength="1" value="1" onchange="raz(2)" type="text"></td> <
td><input name="q2" size="2" maxlength="1" value="0" onchange="raz(2)" type="tex
t"></td> <td><input name="r2" size="2" maxlength="1" value="1" onchange="raz(
2)" type="text"></td> <td><input name="qOUr2" size="2" maxlength="1" onchange
="raz(2)" type="text"></td> <td><input name="pETq2" size="2" maxlength="1" on
change="raz(2)" type="text"></td> <td><input name="pETr2" size="2" maxlength=
"1" onchange="raz(2)" type="text"></td> <td><input name="pEqOUpEr2" size="2"
maxlength="1" onchange="raz(2)" type="text"></td> <td><input name="pETqOr2" s
ize="2" maxlength="1" onchange="raz(2)" type="text"></td> </tr> <tr align="cen
ter" bgcolor="#fffbf0"> <td><input name="p3" size="2" maxlength="1" value="1"
onchange="raz(3)" type="text"></td> <td><input name="q3" size="2" maxlength=
"1" value="0" onchange="raz(3)" type="text"></td> <td><input name="r3" size="
e="qOUr3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> <td><inp
ut name="pETq3" size="2" maxlength="1" onchange="raz(3)" type="text"></td> <t
d><input name="pETr3" size="2" maxlength="1" onchange="raz(3)" type="text"></td>
<td><input name="pEqOUpEr3" size="2" maxlength="1" onchange="raz(3)" type="t
ext"></td> <td><input name="pETqOr3" size="2" maxlength="1" onchange="raz(3)"
type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0"> <td><input n
ame="p4" size="2" maxlength="1" value="0" onchange="raz(4)" type="text"></td>
<td><input name="q4" size="2" maxlength="1" value="1" onchange="raz(4)" type="t
ext"></td> <td><input name="r4" size="2" maxlength="1" value="1" onchange="ra
z(4)" type="text"></td> <td><input name="qOUr4" size="2" maxlength="1" onchan
ge="raz(4)" type="text"></td> <td><input name="pETq4" size="2" maxlength="1"
onchange="raz(4)" type="text"></td> <td><input name="pETr4" size="2" maxlengt
h="1" onchange="raz(4)" type="text"></td> <td><input name="pEqOUpEr4" size="2
" maxlength="1" onchange="raz(4)" type="text"></td> <td><input name="pETqOr4"
size="2" maxlength="1" onchange="raz(4)" type="text"></td> </tr> <tr align="c
enter" bgcolor="#fffbf0"> <td><input name="p5" size="2" maxlength="1" value="
0" onchange="raz(5)" type="text"></td> <td><input name="q5" size="2" maxlengt
h="1" value="1" onchange="raz(5)" type="text"></td> <td><input name="r5" size
="2" maxlength="1" value="0" onchange="raz(5)" type="text"></td> <td><input n
ame="qOUr5" size="2" maxlength="1" onchange="raz(5)" type="text"></td> <td></td>
<td><input name="pETr5" size="2" maxlength="1" onchange="raz(5)" type="text"></t
d> <td><input name="pEqOUpEr5" size="2" maxlength="1" onchange="raz(5)" type=
"text"></td> <td><input name="pETqOr5" size="2" maxlength="1" onchange="raz(5
)" type="text"></td> </tr> <tr align="center" bgcolor="#fffbf0"> <td><input
name="p6" size="2" maxlength="1" value="0" onchange="raz(6)" type="text"></td>
<td><input name="q6" size="2" maxlength="1" value="0" onchange="raz(6)" type=
"text"></td> <td><input name="r6" size="2" maxlength="1" value="1" onchange="
raz(6)" type="text"></td> <td><input name="qOUr6" size="2" maxlength="1" onch
ange="raz(6)" type="text"></td> <td><input name="pETq6" size="2" maxlength="1
" onchange="raz(6)" type="text"></td> <td><input name="pETr6" size="2" maxlen
gth="1" onchange="raz(6)" type="text"></td> <td><input name="pEqOUpEr6" size=
"2" maxlength="1" onchange="raz(6)" type="text"></td> <td><input name="pETqOr
6" size="2" maxlength="1" onchange="raz(6)" type="text"></td> </tr> <tr align=
"center" bgcolor="#fffbf0"> <td><input name="p7" size="2" maxlength="1" value
="0" onchange="raz(7)" type="text"></td> <td><input name="q7" size="2" maxlen
gth="1" value="0" onchange="raz(7)" type="text"></td> <td><input name="r7" si
ze="2" maxlength="1" value="0" onchange="raz(7)" type="text"></td> <td><input
name="qOUr7" size="2" maxlength="1" onchange="raz(7)" type="text"></td> <td>
<input name="pETq7" size="2" maxlength="1" onchange="raz(7)" type="text"></td>
<td><input name="pETr7" size="2" maxlength="1" onchange="raz(7)" type="text"><
/td> <td><input name="pEqOUpEr7" size="2" maxlength="1" onchange="raz(7)" typ
e="text"></td> <td><input name="pETqOr7" size="2" maxlength="1" onchange="raz
(7)" type="text"></td> </tr></tbody></table> <input name="razButton" value="
remise à zéro" type="reset"><input name="Evaluation" value="tout évaluer" onclick="
toutEval()" type="button"> <img src="http://www.uel.edu
cation.fr/consultation/reference/images/images/txtappr.gif" alt="Apprendre" widt
h="240" height="66"> <img src="http://www.uel.education.fr/consultation/refer
ence/images/images/1.gif" alt="Apprendre" width="250" height="250">Langage des ensem
blesLes ensembles dési
gnent en mathématiques des collections, des familles d'objets. Ce langage des ense
mbles est maintenant utilisé dans tous les domaines en mathématiques. Dans ce chapit
re, on apprend à l'utiliser, on définit des opérations sur les ensembles et on étudie le
urs propriétés.<h4 align="right"> </h4> <h2>Notion d
'ensemble</h2>Depuis le début du vingtième siècle, tous les objets mathématiquessont décrits en util
isant le langage des ensembles. Ensembles denombres, ensembles de points, ensemb
les de fonctions, etc. On ne définit pas la notion d'ensemble. Sinon, si l'
on dit qu'unensemble est une collection, il faudrait définir ce qu'est unecollecti
on, etc. Nous allons simplement préciser les notations etles règles pour utiliser ce
langage de façon sûre.<h3>Exemples </h3>Vous-même avez commencé à utilise
r ce langage.<dl compact="compact"><dt> <img src="http://www.uel.education.fr/consultation/reference/mathematiques/
logique1/apprendre/symboles/n.gif" alt="N" align="absmiddle" border="0" width="2
0" height="20"></dt><dd> ensemble d
es entiers naturels, {0, 1, 2, 3, ...} </dd
><dt> <img src="http://www.uel.education.f
r/consultation/reference/mathematiques/logique1/apprendre/symboles/z.gif" alt="Z
" align="baseline" border="0" width="20" height="20"></dt><dd> ensemble des entiers relatifs, {0, 1,
-1, 2, -2, ...} </dd><dt><img src="http://www.uel.education.fr/consultation/reference/mathematiques
/logique1/apprendre/symboles/d.gif" alt="D" border="0" width="20" height="20"></dt><dd> ensemble des décimaux, c'est-à-
dire des nombres qui peuvent s'écrire sous la forme n/10&nbs
p;p, n et p entiers relatifs. Les décimaux comportent les entiers et les nombre
s qui peuvent s'écrire sous une forme décimale avec un nombre fini de chiffres non n
uls après la virgule. On prendra garde que les nombres décimaux ont deux écritures décim
ales illimitées : l'une avec des zéros indéfiniment à partir d'un certain rang, l'a
utre avec des 9 indéfiniment à partir d'un certain rang. Par e
xemple : 14,452 = 14,452000... = 14,451999... </dd><dt><img src="http://www.u
el.education.fr/consultation/reference/mathematiques/logique1/apprendre/symboles
/q.gif" alt="Q" align="absmiddle" border="0" width="20" height="20"></dt>
<dd> ensemble des rationnels, c'est-à-dire d
es nombres qui peuvent s'écrire comme le quotient de deux entiers n et m, (m <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/ne.gif" bo
rder="0"> 0). On admet qu'à tout nombre rationnel on associe un développement
décimal périodique, unique si le nombre n'est pas un décimal. </dd><dt
><img src="http://www.uel.education.fr/con
sultation/reference/mathematiques/logique1/apprendre/symboles/r.gif" alt="R" ali
gn="absmiddle" border="0" width="25" height="25"></dt><dd> les nombres réels. Ils n'ont jusqu'à présent pas été définis. Cette
année on donnera très précisément les propriétés des nombres réels utilisables dans les dém
ations. À tout nombre réel on associe un développement décimal illimité, unique si le nomb
re n'est pas un décimal. </dd><dt><im
g src="http://www.uel.education.fr/consultation/reference/mathematiques/logique1
/apprendre/symboles/c.gif" alt="C" align="absmiddle" border="0" width="25" heigh
t="25"></dt><dd> les nombres comple
xes qui peuvent s'écrire sous la forme a + ib,
avec a et b réels.</fon
t></dd></dl>En géomét
rie, vous avez aussi utilisé ce langage en parlant de la droite comme un ensemble
de points, etc.<h3>Notion d'appartenance</h3><f
ont style="font-size: 16pt;" face="Times New Roman" size="4"><table bo
rder="0"> <tbody><tr> <td>x <img src="http://www.uel.education.fr/consultation/reference/symboles/12p
t/isin.gif" border="0"> E </td> <td> :</td> <td> x est élément de l'ensembleE</td> </tr> <tr> <td>x <img src="http://www.uel.education.fr/consultati
on/reference/symboles/12pt/isin.gif" border="0"> E </t
d> <td> :</td> <td> x appart
ient à l'ensemble E</td> </tr> <tr>
<td>x <img src="http://www.ue
l.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'appartient
pas" border="0">E </td> <td> :</td> <td> est la négation de x <img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E</fo
nt></td> </tr> <tr> <td>x <img src="http://www.uel.education.fr/consultation/reference/symb
oles/12pt/notin.gif" alt="n'appartient pas" border="0">E </fo
nt></td> <td> :</td>
<td> x
n'est pas élément de l'ensembleE</td> </tr>
<tr> <td>x <img src="h
ttp://www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="
n'appartient pas" border="0">E </td> <td> :</td> <td> x n'appartient pas àl'ensemble
E</td> </tr></tbody></table><h3>Ensemble vide </f
ont></h3> On cons
idère en mathématiques, qu'ily a un unique ensemble, appelé ensemble vide, qui ne cont
ientaucun élément, et qui est noté Ø. Si
on considère unélément x quelcon
que, on a forcément x <img src="htt
p://www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'
appartient pas" border="0"> Ø.<h3>Ensembles infin
is </h3>Le
s ensembles ont été inventés pour manipuler des ensemblesinfinis. Lorsque, à la fin du d
ix-neuvième siècle, lesmathématiciens ont commencé à manipuler des ensembles, ils sesont a
perçus que la notion d' "ensemble de tous les ensembles" conduisait à d
es contradictions. Afin de limiter les ensemblesutilisés, ils se sont fixé la règle su
ivante de formation desensembles.<h3>Règle de formation </h3>Si on se donne un ensemble E et une propriété "P", on peutformer u
n nouvel ensemble F constitué des éléments de E quivérifient la propriété "P". Cela s
'écrit :F = { x <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif"
border="0"> E |P(x)}<h2>Écriture d'un ensemble</h2>Pour écrire un ensemble, on a deux possibilités :<h3>Écriture enextension </h3> On
énumère ses éléments. On dit qu'on définitl'ensemble en extension. Cette définition n'est
as toujoursutilisable : comment écrire ainsi des ensembles tels quel'ensemble
des points d'un segment par exemple ?Exemples : E = {0, 1, 5, 10} <img
src="http://www.uel.education.fr/consultation/reference/mathematiques/logique1/a
pprendre/symboles/z.gif" alt="Z" align="baseline" border="0" width="20" height="
20"> = {0, 1, -1, 2, -2, ...} <h3>Écriture en compréhension </h3> On se donne une propriété q
uicaractérise ses éléments. On dit qu'on définit l'ensemble encompréhension. C'est l'écritu
e des ensembles la plus utilisée.E
xemples : [a, b] = {x <img src="htt
p://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="
0"> <img src="http://www.uel.education.fr/consultation/reference/mathematiques/l
ogique1/apprendre/symboles/r.gif" alt="R" align="absmiddle" border="0" width="25
" height="25"> | a <img src="http://www.uel.education.fr/consultation/ref
erence/symboles/12pt/le.gif" alt="inférieur ou égale" border="0"> x <img src=
"http://www.uel.education.fr/consultation/reference/symboles/12pt/le.gif" alt="i
nférieur ou égale" border="0"> b} 2<img src="http://www.uel.education.
fr/consultation/reference/mathematiques/logique1/apprendre/symboles/n.gif" alt="
N" align="absmiddle" border="0" width="20" height="20"> = {p | p
"entier pair" } <img src="http://www.uel.education
.fr/consultation/reference/mathematiques/logique1/apprendre/symboles/q.gif" alt=
"Q" align="absmiddle" border="0" width="25" height="25"> = {p/q |
p <img src="http://www.uel.education.fr/consultation/reference/symboles/1
2pt/isin.gif" border="0"> <img src="http://www.uel.education.fr/consultation/ref
erence/mathematiques/logique1/apprendre/symboles/z.gif" alt="Z" align="baseline"
border="0" width="20" height="20"> et q<img src=
"http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" bord
er="0"> <img src="http://www.uel.education.fr/consultation/reference/mathematiqu
es/logique1/apprendre/symboles/z.gif" alt="Z" align="baseline" border="0" width=
"20" height="20"> et q <img src="http://www.uel.e
ducation.fr/consultation/reference/symboles/12pt/ne.gif" border="0"> 0} <
img src="http://www.uel.education.fr/consultation/reference/mathematiques/logiqu
e1/apprendre/symboles/c.gif" alt="C" align="absmiddle" border="0" width="25" hei
ght="25"> = {a + ib | a <img src="http://www.uel.education.
fr/consultation/reference/symboles/12pt/isin.gif" border="0"> <img src="http://w
ww.uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/symb
oles/r.gif" alt="R" align="absmiddle" border="0" width="25" height="25"> et b <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/isin.gif" border="0"><img src="http://www.uel.education.
fr/consultation/reference/mathematiques/logique1/apprendre/symboles/r.gif" alt="
R" align="absmiddle" border="0" width="25" height="25">}, avec</f
ont> (i 2 = -1) <h3>Remarque importante <
/h3> Il y a deuxp
arties dans l'écriture d'un ensemble, séparées par une barreverticale. E = { x
 <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/
isin.gif" border="0"> U | P(x)}. La première x <img src="http://www.uel.education.fr/consu
ltation/reference/symboles/12pt/isin.gif" border="0"> U indique où s
ont pris les éléments de l'ensemble, la deuxièmeP(x) indique une propriété caractéristique des éléments del'ensembl
e E. Les signes logiques n
e peuvent donc interveniréventuellement qu'au niveau de l'écriture de la propriété "P" eten aucun cas dans la
première partie de l'écriture.<h2>Inclusion et égal
ité</h2><h3>Inclusion d'ensembles </h3> On dit qu'un ensemble <fon
t size="5">F estinclus dans un ensemble E</f
ont>, si tout élément de F appartient à
E. <img src="http://www.uel.education.fr/consultation/reference/mathematiques/l
ogique1/apprendre/images/eincluf.gif" alt="E inclus dans F" border="0" width="30
0" height="221">F <img src="http://www.uel.education.fr/consultation/reference/symbole
s/12pt/sub.gif" alt="inclus" border="0"> E F est inclus dans l'ensemble E F<img src="http://www.uel.education.fr/consultation/reference/sym
boles/12pt/sub.gif" alt="inclus" border="0"> E F est contenu dans l'ensemble E <f
ont size="5">F<img src="http://www.uel.education.fr/consultation/referenc
e/symboles/12pt/sub.gif" alt="inclus" border="0"> E &nb
sp; F est un sous-ensemble de l'ensemble E F <img src="http://www.uel.education.fr/consultat
ion/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> E &nbs
p; F est une partie de l'ensemble E
 F <img src="http://www.uel.education.fr/co
nsultation/reference/symboles/12pt/notsub.gif" alt="n'est pas inclus" border="0"
> E est la négation de F
sub.gif" alt="inclus" border="0">E F <img src="http://www.uel.e
ducation.fr/consultation/reference/symboles/12pt/notsub.gif" alt="n'est pas incl
us" border="0"> E F n'est pas inc
lus dansl'ensemble E F <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/notsub.gi
f" alt="n'est pas inclus" border="0"> E
signifie "il existe au moins unélément de F n'apparten
ant pas à E" <h3>L'inclusion est une inclusion large </fon
t></h3>D'a
près la définition précédente, tout ensemble E est inclusda
ns lui même. E <img src="http://www.uel.education.fr/consultation/reference/s
ymboles/12pt/sub.gif" alt="inclus" border="0"> E<h3><fo
nt face="Times New Roman" size="4">Inclusion stricte </h3>Lorsqu
e le sous-ensemble F est strictement inclus dansl'e
nsemble E, on dit que F est un sous-ensemble proprede E. On
doit alors le préciser par la conjonction des deuxpropriétés: F <img src="http://www.uel.education.fr/consulta
tion/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> E et F <img src="http://www.uel.ed
ucation.fr/consultation/reference/symboles/12pt/ne.gif" border="0"> E</fo
nt><h3>Ensemble vide et inclusion </h3><fon
t style="font-size: 16pt;" face="Times New Roman" size="4">L'ensemble vide est c
ontenudans tout ensemble E. Ø <img src="http://www.uel.
education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" border="
0"> E Un ensem
ble Enon vide a donc toujours au moins deux sous-en
sembles, l'ensemblevide et lui même. Par contre, l'ensemble Ø
a un seulsous-ensemble, lui-même.<h3>Exemples d'inclusiond'ensembles </h3> <img sr
c="http://www.uel.education.fr/consultation/reference/mathematiques/logique1/app
rendre/symboles/n.gif" alt="N" align="absmiddle" border="0" width="20" height="2
0"> <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/s
ub.gif" alt="inclus" border="0"> <img src="http://www.uel.education.fr/consultat
ion/reference/mathematiques/logique1/apprendre/symboles/z.gif" alt="Z" align="ba
seline" border="0" width="20" height="20">, <img src="http://www.uel.
education.fr/consultation/reference/mathematiques/logique1/apprendre/symboles/z.
gif" alt="Z" align="baseline" border="0" width="20" height="20"> <img src="http:
//www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus
" border="0"> <img src="http://www.uel.education.fr/consultation/reference/mathe
matiques/logique1/apprendre/symboles/d.gif" alt="D" align="absmiddle" border="0"
width="20" height="20">, <img src="http://www.uel.education.fr/consu
ltation/reference/mathematiques/logique1/apprendre/symboles/d.gif" alt="D" align
="absmiddle" border="0" width="20" height="20"> <img src="http://www.uel.educati
on.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> <im
/apprendre/symboles/q.gif" alt="Q" align="absmiddle" border="0" width="26" heigh
t="26">, <img src="http://www.uel.education.fr/consultation/reference
/mathematiques/logique1/apprendre/symboles/q.gif" alt="Q" align="absmiddle" bord
er="0" width="26" height="26"> <img src="http://www.uel.education.fr/consultatio
n/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> <img src="http://www
.uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/symbol
es/r.gif" alt="R" align="absmiddle" border="0" width="26" height="26">, &nb
sp;<img src="http://www.uel.education.fr/consultation/reference/mathematiques/lo
gique1/apprendre/symboles/r.gif" alt="R" align="absmiddle" border="0" width="26"
height="26"> <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/sub.gif" alt="inclus" border="0"> <img src="http://www.uel.education.fr
/consultation/reference/mathematiques/logique1/apprendre/symboles/c.gif" alt="C"
align="absmiddle" border="0" width="26" height="26"> Soit l'ensem
ble E = {a, b, c}. Ses sous-en
sembles sontles ensembles : Ø, {a}, {b}, {c}, {a, b}, {a, c}
, {b, c},{a, b, c}<h3>Transitivité de l'inclusion </h3>A, B, C étant trois ensembles, si le pre
mier ensemble A est contenu dans le second B, si le deuxième ensemble B est
contenu dans le troisième C, alors le premier ensemb
leA est contenu dans le troisième C
 ; on dit que l'inclusion esttransitive ; cette propriété s'énonce: 
Si (A
sub.gif" alt="inclus" border="0"> B et
 B <img src="http://www.uel.education.fr/consultation/referen
ce/symboles/12pt/sub.gif" alt="inclus" border="0"> C), alors <fo
nt size="5">A <img src="http://www.uel.education.fr/consultation/referenc
e/symboles/12pt/sub.gif" alt="inclus" border="0"> Cet s'écrit en langage formalisé où <img src="http
://www.uel.education.fr/consultation/reference/symboles/12pt/long2rarr.gif" alt=
"implique" border="0"> se lit "implique" et sera revu dans la suite : </fon
t>(A <img src="http://www.uel.education.fr/consultation/reference/symboles/12p
t/sub.gif" alt="inclus" border="0"> B et</fon
t> B <img src="http://www.uel.education.fr/consultation/refe
rence/symboles/12pt/sub.gif" alt="inclus" border="0"> C) <img src="http:/
/www.uel.education.fr/consultation/reference/symboles/12pt/long2rarr.gif" alt="i
mplique" border="0"> A <img src="http://www.uel.education.fr/consultation
/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> C<h3>Justification </h3>Soit x un élément de A,
d'après l'hypothèse A <img src="http://www.uel.education.fr/co
nsultation/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> B</f
ont>, on peut affirmer que x est élément de B. D'après l'hypothèse B <img src="http://ww
w.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" bo
rder="0"> C, on peut affirmer que x e
st élément de C. On a donc montré que tout élément de A est élément de C et donc que <f
ont size="5">A est inclus dans C. 
 <h3>Abus d'écr
iture</h3> On peut écrire une séried'inclusions qui met en évidence la transitivité del'inc
lusion : <im
/apprendre/symboles/n.gif" alt="N" align="absmiddle" border="0" width="20" heigh
t="20"> <img src="http://www.uel.education.fr/consultation/refere
nce/symboles/12pt/sub.gif" alt="inclus" border="0"> <img src="http://www.uel.edu
cation.fr/consultation/reference/mathematiques/logique1/apprendre/symboles/z.gif
" alt="Z" align="baseline" border="0" width="20" height="20"> <img src="http://w
ww.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" b
order="0"> <img src="http://www.uel.education.fr/consultation/reference/mathemat
iques/logique1/apprendre/symboles/d.gif" alt="D" align="absmiddle" border="0" wi
dth="20" height="20"> <img src="http://www.uel.education.fr/consultation/referen
ce/symboles/12pt/sub.gif" alt="inclus" border="0"> <img src="http://www.uel.educ
ation.fr/consultation/reference/mathematiques/logique1/apprendre/symboles/q.gif"
alt="Q" align="absmiddle" border="0" width="26" height="26"> <img src="http://w
ww.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" b
order="0"> <img src="http://www.uel.education.fr/consultation/reference/mathemat
iques/logique1/apprendre/symboles/r.gif" alt="R" align="absmiddle" border="0" wi
dth="26" height="26"> <img src="http://www.uel.education.fr/consultation/referen
ce/symboles/12pt/sub.gif" alt="inclus" border="0"> <img src="http://www.uel.educ
ation.fr/consultation/reference/mathematiques/logique1/apprendre/symboles/c.gif"
alt="C" align="absmiddle" border="0" width="26" height="26"> <h3>Égalité d'ensembles</h3>Deux ensembles sont égaux s'ils ont exactement les mêmes éléments.Cela se traduit par d
eux inclusions simultanées. E = F<img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/long2harr.gif" équivalent="" border="0"> (F <img src="http
://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclu
s" border="0"> E et E <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/sub.gif" alt="inclus" border="0">F)
<h2>Comment démontrer</h2><h3>Une
inclusion </h3>Pour démontrer qu'un ensemble F est inclus dans
un ensemble E, on prend un élément x
 quelconque de F, on utilise les hypothèse
s qui définissent l'ensemble F, et on démontre que <fon
t size="5">x vérifie les propriétés qui définissent l'ensemble E. La démonstration prend donc la structure suivante : Soit x un élément de l'ensemble F … (raisonnement) … donc x est
un élément de l'ensemble E Conclusion : F <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/sub.gif" alt="inclus" border="0"> E <h3>Une non-inclusion </fo
nt></h3> Comment
prouver F <img src="http://www.ue
l.education.fr/consultation/reference/symboles/12pt/notsub.gif" alt="n'est pas i
nclus" border="0"> E ? Il suffit de trouver un élément de
F qui n'est pas dans l'ens
emble E, (un contre-exempl
e suffit).<h3>Une égalité d'ensembles </h3> Deux ensembles sont égaux
s'ilsont exactement les mêmes éléments. Cela se traduit par deuxinclusions simultanées.
E = F <img src="http://www.uel.education.fr/consultation/reference/s
ymboles/12pt/long2harr.gif" équivalent="" border="0"> (F <img src=
"http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="
inclus" border="0"> E et E <img src="http://www.uel.education.fr/consultation/reference/symboles/12
pt/sub.gif" alt="inclus" border="0"> F)Pour démontrer l'égalité dedeux ensembles E
 et F, il faudra faire deux démonstrations
d'inclusion, d'une part pour démontrer F <img src="http://ww
rder="0"> E, d'autrepart pour démontrer E <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif"
alt="inclus" border="0"> F. <h2>Utiliser dans une démonstration</h2><h3>Un
e inclusion </h3>Comment utiliser une hypothèse F <img src="htt
p://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="incl
us" border="0"> E dans une démonstration ? On utilise que tout élém
ent qui appartient à F appartient aussi à E et donc vérifie les propriétés qui définissent E
.<h3>Une
non-inclusion </h3>Comment utiliser une hypothèse F <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/notsub.gif" alt="n'est pas inclus" border="0"> E ? O
n affirme : on sait qu'il y a au moins un élément de F qui n'est pas élément de E, on dit qu'on en prend un et on utilise l'élément
ainsi défini dans la démonstration qui suit. <h2>Exemple</h2> Repren
ons la démonstration faite précédemmentde la propriété: Si (A <img src="http://www.u
el.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" borde
r="0"> B et B <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" a
lt="inclus" border="0"> C), alors A <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" al
t="inclus" border="0"> CLa justification asuivi les schémas "Démontrer une inclusion" et "utiliser
uneinclusion" .<h3>"Démontrer une inclusion" </h3>L'objectif est de montrer que A <img src="http://www.uel.education.fr/consultation/reference/symboles/12
pt/sub.gif" alt="inclus" border="0"> C. On a donc pris unélément x de A, et nous avons pour
but de montrer que x estélément de C.<h3>"
Raisonnement" </h3> Il consiste à utiliser deux inclusions donnéesen hypothèse, (A <img src="http://www.uel.education.fr/consultation/reference/sym
boles/12pt/sub.gif" alt="inclus" border="0"> B et B <img src="http://www.uel.education.fr/consultation/reference/symboles/12
pt/sub.gif" alt="inclus" border="0"> C). "Utiliser une i
nclusion" : en utilisant l'inclusion A<img src="http:
//www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus
" border="0"> B donnée par hypothèse, on peut affirmer que x est élément de B. "Utilis
er une inclusion" : comme x <img src="http://www.uel.e
ducation.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> B, en utilisant l'inclusion B <img src="http://www.ue
l.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" border
="0"> C donnée par hypothèse, on peut affirmer que x
 est élément de C, ce qui est notre but.</fo
nt><h3>"Conclure" </h3>On
a donc montré que tout élément de A</fo
nt> est élément de C et donc q
ue A est inclus dans C.<h2>Ensembles particuliers</h2><h3>Ensemble desparties d'
un ensemble </h3> Pour tout ensemble E, on peut former unense
mble que l'on note P(E), dont les éléments sontles sous-ensembles de E. <fo
nt color="#ff0000">P(E) = {F | F <img src="ht
tp://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inc
lus" border="0">E}F <img src="http://www.uel.education.fr
/consultation/reference/symboles/12pt/isin.gif" border="0"> P(E) <img src="http://www.uel.education.fr/consultation/refe
rence/symboles/12pt/long2harr.gif" équivalent="" border="0"> F <im
g src="http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif"
alt="inclus" border="0"> E<h3>Exemple 1</h3> Pour l'ensemble E
 = {a, b, c},l'ensemble des parties est P(E) = {Ø, {a},{b}, {c},{a, b}, {a, c}, {b, c},{a, b, c}}<h3>Attention à bien distinguer</h3>a qui désigne
un élément de E,et {a} qui
désigne le sous-ensemble de E, appelé singleton,qui ne
contient que l'élément a. On écrira : a <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" b
order="0"> E ; {a} <img src="http://www.u
r="0"> E ; {a} <img src="http://www.uel.
education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> P(E) a <img src="htt
p://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="
0"> {a} ; a<img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/notsub.gif" alt="n'est pas inclus"
border="0">{a} ... <h3>Exemple 2</h3> P
(Ø) = {Ø}, P(Ø) est un singleton. Donc <fo
nt style="" color="#ff0000">P(P(Ø)) = {Ø, {Ø}}<h3>Produit d'ensembles </h3>L'ens
emble <img src="http://www.uel.education.fr/consultation/referen
ce/mathematiques/logique1/apprendre/symboles/r.gif" alt="R" align="absmiddle" bo
rder="0" width="26" height="26">2, représentant les points du pl
anlorsque l'on a choisi un repère est un ensemble produit ; c'estl'ensemble des co
uples d'éléments de réels (x, y), x premierélément du couple, y deuxième élément d
u couple.On peut généraliser au produit de deux ensembles E</f
ont> et Fquelconques : <fo
nt face="Times New Roman" size="4"><img src="http://www.uel.education.fr/consult
ation/reference/mathematiques/logique1/apprendre/images/exf.gif" alt="E x F" bor
der="0" width="300" height="221">E x F
= { (x, y) | x <img src="http://www.uel.education.fr/consu
ltation/reference/symboles/12pt/isin.gif" border="0"> E et y<img src="http://www.uel.education.fr/consultation/reference/s
ymboles/12pt/isin.gif" border="0"> F }Ceci se généralise au produit d'un nombre fini d'ensembles E1,E2, ..., En quelconques :<img src="http://www.uel.education.fr/consultation/reference/ma
thematiques/logique1/apprendre/images/exf_espace.gif" alt="E x F dans l'espace"
border="0" width="300" height="221">E1 x E2 <f
ont face="Arial">x ··· x En
= { (x1, x2, ..., xn) | x1 <img src="http://www.uel.education.fr/consultation/ref
erence/symboles/12pt/isin.gif" border="0"> E1 et <fon
t style="font-size: 20pt;" size="5">x2 <img src="http://www.ue
l.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E2 et ··· et xn <img src="http://www.uel.education.fr/consultation/reference/sym
boles/12pt/isin.gif" border="0"> En}<
h2>Réunion d'ensembles</h2> <div align="left">Si E et F sont des ensembles,E <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/c
up.gif" alt="réunion" border="0"> F est l'ensemble constitué des éléments
qui appartiennentà au moins l'un des deux ensembles E
ou à F, (on admet qu'ilexiste). </div>E <img src=
"http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="
réunion" border="0"> F = {x | x <img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E</fo
nt> ou x <img src="http://www.uel.education.fr/consultat
ion/reference/symboles/12pt/isin.gif" border="0"> F }On a donc : x <img sr
c="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" bo
rder="0"> E <img src="http://www.uel.education.fr/consultation/reference/
symboles/12pt/cup.gif" alt="réunion" border="0"> F <img src="http://www.uel
.education.fr/consultation/reference/symboles/12pt/long2harr.gif" équival
ent="" border="0"> (x <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/isin.gif" border="0"> E ou x <img src="http://www.uel.education.fr/consultation/reference/symboles/
12pt/isin.gif" border="0"> F) <h3 align=
"left">Le "ou" est non-
exclusif, c'est-à-dire qu'il regroupe trois ca
s :</h3><div align="left"></div>x <img src="http://www.uel.education.f
r/consultation/reference/symboles/12pt/isin.gif" border="0"> E <img src="
http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réu
nion" border="0"> F <img src="http://www.uel.education.fr/consultation/re
ference/symboles/12pt/long2harr.gif" équivalent="" border="0"> (x
 <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt
/isin.gif" border="0"> E et x <img src="ht
tp://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border=
"0"> F) ou (x <img src="http://www
.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'apparti
ent pas" border="0"> E et x <img src="http
://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0
"> F ) ou (x <img src="http://www.
uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E
 et x <img src="http://www.uel.education.fr/co
nsultation/reference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0">
F) <h3 align="left"><fo
nt face="Times New Roman" size="4">Lien avec les lois de Morg
an </h3><div align="left"> </div><div align="center"><div align="left">x <img src="http://www.uel.education.fr/consultation/re
ference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0"> E <im
g src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif"
alt="réunion" border="0"> F <img src="http://www.uel.educatio
n.fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent="" bo
rder="0"> (x <img src="http://www.uel.education.fr/consultat
ion/reference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0"> E et x <img src="http:/
/www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'app
artient pas" border="0"> F)</div><img src="
http://www.uel.education.fr/consultation/reference/mathematiques/logique1/appren
dre/images/venn.gif" alt="diagramme de Venn" border="0" width="300" height="221"
> Diagramme de Venn E <img src="http://www.uel.education.fr/consul
tation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> F</f
ont><img src="http://www.uel.education.fr/consultatio
n/reference/mathematiques/logique1/apprendre/images/caroll.gif" alt="diagramme d
e Caroll" border="0" width="300" height="221"> Diagramme de Caroll E <img src="http://www.uel.ed
ucation.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0">
F<h3 align="left">Propriétés de la
réunion</h3><div align="left"></div><h3 align="left">La
réunion de deux ensembles A e
t B est le plus petit ensemb
le qui contienne à la fois ces deux ensembles </h3><div align="left">Ce qui se traduit en la
ngage formalisé par la conjonction de deux propriétés. </div><f
ont face="Times New Roman" size="4">[A <img src="http://ww
rder="0"> A <img src="http://www.uel.education.fr/consultation/reference/
symboles/12pt/cup.gif" alt="réunion" border="0"> B et B <img src="http://www.uel.education.fr/consultation/reference/symbole
s/12pt/sub.gif" alt="inclus" border="0"> A <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> B] et [(A <img src="http://www.uel.education.
fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> C et B <img src="http://www.uel.education.fr/con
sultation/reference/symboles/12pt/sub.gif" alt="inclus" border="0"> C) A <img src="http://www.uel.education.f
r/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> B
<img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/sub.
gif" alt="inclus" border="0"> C ] <fo
nt face="Times New Roman" size="4"> On peut à titre d'exercice, démontrer ces propriétés
, ainsi que les suivantes.<h3 align="left">Idempotence </h3><div align="left">
 Pour tout ensemb
le E, E <img src="http://www.
uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" borde
r="0"> E = E</div><h3 align="left">Commutativité </h3><div alig
n="left">Pour tou
s les ensembles E et F
, E <img src="http://www.uel.education.fr/consultation/ref
erence/symboles/12pt/cup.gif" alt="réunion" border="0"> F = F <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" al
t="réunion" border="0"> E</div><h3 align="left">Associativité </h3><div
align="left"> <fo
nt size="5">(E <img src="http://www.uel.education.fr/consultation/referen
ce/symboles/12pt/cup.gif" alt="réunion" border="0"> F) <img src="http://www
.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" bord
er="0"> G = E <img src="http://www.uel.education.fr/consultation/r
eference/symboles/12pt/cup.gif" alt="réunion" border="0"> (F <img src="http
://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion
" border="0"> G)pour tous les ensembles E</f
ont>, F et G. Cela per
met de définir laréunion de trois ensembles, d'un nombre fini d'ensembles. </
div>E1 <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/cup.gif" alt="réunion" border="0"> E2 <img src="http://
www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" b
order="0"> E3 = { x | x <img src="http://www.uel
.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E1 ou x <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E
2 ou x <img src="http
"> E3 } E1 <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif"
alt="réunion" border="0"> E2 <img src="http://www.uel.education.
fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> ··· <img src=
réunion" border="0"> En = { x | x <img src=
"http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" bord
er="0"> E1 ou x <img src="http:
//www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"
> E2 ou ... ou x <img src="http://www.uel.education.fr/consultation/refere
nce/symboles/12pt/isin.gif" border="0"> En }</fo
nt><h3 align="left">Généralisation </h3><div align="left">La réunion se généralise à la réunion d'une famille d'ense
mbles (dont on admet l'existence). </div><img src="http://www.uel.education.fr/consultation/referen
ce/mathematiques/logique1/apprendre/images/union1.gif" alt="union1" border="0" w
idth="268" height="31"> <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/exist.gif"
alt="existe" border="0"> signifie il existe au moins un et sera
revu plus tard.<h3 align="left">Réunion, lien avec l
e connecteur "ou" </h3><div align="left"> Supposonsl'ensemble E</fon
t> défini par une propriété "P" et l'ensemble F défini par une propriété "Q", alors o
n remarque que l'ensemble E <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> F est défini par la propriété "P ou Q" :</div>E = { x <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U | P(x)} F = { x <img src="http://www.uel.educatio
n.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U | Q(x)}E
<img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.g
if" alt="réunion" border="0"> F = { x <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U | P(x) ou Q(x
)}<h2 align="left">Intersection d'ensem
bles</h2><div align="left"> Si E et F sont desensembles, E <img src="http://www.uel.educat
ion.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="
0"> F est l'ensemble constitué des éléments quiappartiennent à la fois aux
deux ensembles E et F
. </div>E <img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/cap.gif" alt="intersection" border="0"> F= {x | x <
img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.g
if" border="0"> E et x <img src="http://ww
w.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> F }
x <img src="http://www.uel.education.fr/consultation/refer
ence/symboles/12pt/isin.gif" border="0"> E <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border=
"0"> F<img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/long2harr.gif" équivalent="" border="0"> (x <img src="http
"> E et x <img src="http://www.uel.educati
on.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> F)<img src="http
://www.uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/
images/einterf.gif" alt="E inter F" border="0" width="300" height="221"> On peut à titre d'exercice, démontrer ces propriétés, ainsi que les suivantes.
<h3 align="left">Lien avec les lois de Morgan </h3
><div align="left"> </div><img src="http://www.uel.education.fr/
consultation/reference/mathematiques/logique1/apprendre/images/einterf2.gif" alt
="E inter F (Caroll)" border="0" width="300" height="221">x <img src="http://www.uel.education.fr/consultation/refe
rence/symboles/12pt/notin.gif" alt="n'appartient pas" border="0"> E <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" a
lt="intersection" border="0"> F<img src="http://www.uel.education.fr/cons
ultation/reference/symboles/12pt/long2harr.gif" équivalent="" border="0">
(x <img src="http://www.uel.education.fr/consultation/reference/symboles
/12pt/notin.gif" alt="n'appartient pas" border="0">E ou x<img src="http://www.uel.education.fr/consultation/reference/symb
oles/12pt/notin.gif" alt="n'appartient pas" border="0">F)autrement dit: x <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'appartient pas" b
order="0"> E <img src="http://www.uel.education.fr/consultation/reference
/symboles/12pt/cap.gif" alt="intersection" border="0"> F <img src="http:/
/www.uel.education.fr/consultation/reference/symboles/12pt/long2harr.gif" &eacut
e;quivalent="" border="0"> (x<img src="http://www.uel.education.fr/consul
tation/reference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0">E
 et x <img src="http
://www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'a
ppartient pas" border="0"> F) ou (x <img src="http://www.uel.education.fr/consultation/reference/sy
mboles/12pt/notin.gif" alt="n'appartient pas" border="0"> E et x <img src="http://www.uel.educati
on.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> F) ou (x <img src="http://www.uel
.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> E et x <img src="http://
www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'appa
rtient pas" border="0"> F)<h3 align="left">Propriétés de l'intersection</h3><div align="left"></div><h3 align="le
ft">L'intersection de deux ensembles A et B est le plus grand ensemble qui est contenu à la fois dans ces deux ensemble
s </h3><div align="left"> Ce qui se traduit en langage formalisé par la conjonction de deuxp
ropriétés. </div>[ A <img src="http://www.uel.education.fr/consultation/reference
/symboles/12pt/cap.gif" alt="intersection" border="0"> B <img src="http:/
/www.uel.education.fr/consultation/reference/symboles/12pt/sub.gif" alt="inclus"
border="0"> A et A <img src="http://www.u
el.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection"
border="0"> B<img src="http://www.uel.education.fr/consultation/referenc
e/symboles/12pt/sub.gif" alt="inclus" border="0"> B ] et [ (C <img src="http://www.uel.education.fr/consultation/reference/
symboles/12pt/sub.gif" alt="inclus" border="0"> A et</fon
t> C <img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/sub.gif" alt="inclus" border="0">B) <img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/long2rarr.gif" alt="implique" bord
er="0"> C <img src="http://www.uel.education.fr/consultation/reference/sy
mboles/12pt/sub.gif" alt="inclus" border="0"> A <img src="http://www.uel.
education.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" bo
rder="0"> B ] <div align="left"></div><h3 align="left">Ide
mpotence </h3><div align="left">Pour tout ensemble E,
on a E <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/cap.gif" alt="intersection" border="0"> E = E.</div><h3 align="left">Commutativité </h3><div align="left">E <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" al
t="intersection" border="0"> F = F <img src="http://www.uel.educat
ion.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="
0"> E, pour tous les ensembles E et F.</div><h3 align="left">Associativité </h3><div align="
left">(E <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/cap.gif" alt="intersection" border="0"> F) <img src="http://www.
uel.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection
" border="0"> G = E <img src="http://www.uel.education.fr/consulta
tion/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> (F <
img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap.gi
f" alt="intersection" border="0"> G), pour tous les ensembles <fon
t size="5">E, F et 
G. Cela permet de définir l'intersection de trois ensembles, d'un nombr
e fini d'ensembles. </div>E1 <img src="http://www.uel.education.fr
/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> E2 <img src="http://www.uel.education.fr/consultation/reference/
symboles/12pt/cap.gif" alt="intersection" border="0"> E3 = { x | x <img src="http://www.uel.education.fr/consultation/reference/
symboles/12pt/isin.gif" border="0"> E1 et</fon
t> x <img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/isin.gif" border="0"> E2 et E3 } E1 <img
src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" a
lt="intersection" border="0"> E2 <img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border
="0"> ··· <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/c
ap.gif" alt="intersection" border="0"> En = { x
| x <img src="http://www.uel.education.fr/consultation/reference/symboles
/12pt/isin.gif" border="0"> E1 et x
isin.gif" border="0"> E2 et ··· et x
<img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.
gif" border="0"> En }<h3 align="left"
>Généralisation </fo
nt></h3><div align="left">L'intersection se généralise à une intersection quelconque d'une famille d'en
sembles indexée par un ensemble non vide I. </
div><img src="http://www.u
el.education.fr/consultation/reference/mathematiques/logique1/apprendre/images/p
rop_inter.gif" alt="prop_inter" border="0" width="380" height="34">(Le
sens du symbole <img src="http://www.uel.education.fr/consultation/reference/sy
mboles/12pt/forall.gif" alt="qq soit" border="0"> qui veut dire "pour tout" sera revu ensuite.)<h3 align="left">Lien avec le connecteur "et" </h3><div align="left"><fo
nt style="font-size: 16pt;" face="Times New Roman" size="4"> Supposons l'ensembl
e E défini par une propriété "P"</f
ont> et l'ensemble F défini par une propriété "Q", alors on remarque que l'ensemble E
<img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap.g
if" alt="intersection" border="0"> F est défini par la propriété "P et Q" :</div>E = { U | P(x)}F = { x <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/is
in.gif" border="0"> U | Q(x)}E <img src="http://www.uel.education.fr/consul
tation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> F
= { x <img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/isin.gif" border="0"> U | P(x) et Q(x)}<h2 align="le
ft">Propriétés de distributivité</h2><div align="left"></div
><h3 align="left">L'intersection est distributive par rapport
à la réunion </h3><div align="left"> Cela résulte de la distributivité de la conjonction parrappo
rt à la disjonction.</div>E <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/cap.gif" alt="intersection" border="0"> (F <img s
rc="http://www.uel.education.fr/consultation/reference/symboles/12pt/cup.gif" al
t="réunion" border="0"> G) = (E <img src="http://www.uel.education.f
r/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> F) <img src="http://www.uel.education.fr/consultation/reference/symboles/1
2pt/cup.gif" alt="réunion" border="0"> (E<img src="http://www.uel.education
.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0">
G)<h3 align="left">La réunion est distributive par rapport àl'intersection </h3><div align="left"> Cela résulte de la distributivité de ladisjonction par rapport à la con
jonction. </div>E <img src=
réunion" border="0"> (F <img src="http://www.uel.education.fr/consultation/
reference/symboles/12pt/cap.gif" alt="intersection" border="0"> G) = (
E <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt
/cup.gif" alt="réunion" border="0"> F) <img src="http://www.uel.education.f
r/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> (
E <img src="http://www.uel.education.fr/consultation/reference/symboles/1
2pt/cup.gif" alt="réunion" border="0"> G)<h2 align="left"
>Propriétés de distributivité</h2><div align="left">L’intersection est distribu
tive par rapport à la réunion :</div>E <img src="http://www.uel.education.fr/consultatio
n/reference/mathematiques/symboles/12pt/cap.gif" alt="intersection" border="0">
(F <img src="http://www.uel.education.fr/consultation/reference/mathematiques/sy
mboles/12pt/cup.gif" alt="réunion" border="0"> G) = (E <img src="http://www.uel.ed
ucation.fr/consultation/reference/mathematiques/symboles/12pt/cap.gif" alt="inte
rsection" border="0"> F) <img src="http://www.uel.education.fr/consultation/refe
rence/mathematiques/symboles/12pt/cup.gif" alt="réunion" border="0"> (E <img src="
http://www.uel.education.fr/consultation/reference/mathematiques/symboles/12pt/c
ap.gif" alt="intersection" border="0"> G)<img src="http://www.uel.education.fr/consultat
ion/reference/mathematiques/logique1/apprendre/images/prop_distr.gif" alt="E int
er (FUG)" border="0" width="300" height="221">Cela résulte de la distrib
utivité de la conjonction par rapport à la disjonction.DémonstrationRéinvestir les démarch
es proposées précédemment.<h2 align="left">La réunion est
distributive par rapport à l’intersection :</h2><div align="left"></div>E
cup.gif" alt="réunion" border="0"> (F <img src="http://www.uel.education.fr
/consultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> G) = (E <img src="http://www.uel.education.fr/consultation/re
ference/symboles/12pt/cup.gif" alt="réunion" border="0"> F) <img src="http:
//www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="inters
ection" border="0"> (E <img src="http://www.uel.education.fr/consultation
/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> G)<img src="http://www.
uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/images/
prop_distr2.gif" alt="EU(F inter G)" border="0" width="300" height="221">
Cela résulte de la distributivité de la disjonction par rapport à la conjonction.Démo
ntrer cette propriété en utilisant les mêmes méthodes que dans la démonstrationprécédente.<
nt><h2 align="left">Complémentaire d un ensemble</h2
><div align="left"> On suppose E <img src="http://www.uel.education.fr/cons
ultation/reference/symboles/12pt/sub.gif" alt="inclus" border="0">U. On définit un ensemble noté CU E, appelécomplémentaire de E dans U : </div>CU E = {x <img src
="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" bor
der="0"> U| x <img src="http://www.uel.education.fr/consultation/r
eference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0">E}</f
ont>x <img src="http://www.uel.education.fr/consultation/reference/symbol
es/12pt/isin.gif" border="0"> CU E <img sr
c="http://www.uel.education.fr/consultation/reference/symboles/12pt/long2harr.gi
f" équivalent="" border="0"> (x <img src="http://www.uel.ed
ucation.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U
et x <img src="http://www.uel.education.fr/consulta
tion/reference/symboles/12pt/notin.gif" alt="n'appartient pas" border="0">E)<img src="http://www.uel.education.fr/consu
ltation/reference/mathematiques/logique1/apprendre/images/compl.gif" alt="Compléme
ntaire de E dans U" border="0" width="300" height="221"><img
src="http://www.uel.education.fr/consultation/reference/mathematiques/logique1/
apprendre/images/compl3.gif" alt="Complémentaire de E dans U (caroll)" border="0"
width="300" height="221"><h3 align="left">Lien avec le co
nnecteur "non" </h3><div align="left">Si lesous-ensemble E de
U est défini par la propriété "P", alorsson complémentaire est défini par la propriété "non P". </div>E ={ x <img src="http://www.uel.
education.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U
| P(x)}CU E = { x <img src="http://www.uel.educat
ion.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U |<fon
t style="font-size: 16pt;" size="4">non P(x) }<h3 align="left">Propriétés </h3><div align="left"><f
ont style="font-size: 16pt;" face="Times New Roman" size="4"></div>E e
t F sont deuxsous-ensembles de U. En utilisant les lois de Morgan et lesautres propriétés logiques, démontre
r que :<div align="left"><li> CU (E <img src="http://www.uel.education.fr/consultation/reference/symb
oles/12pt/cap.gif" alt="intersection" border="0"> F) = (CU
 E) <img src="http://www.uel.education.fr/consultation/referenc
e/symboles/12pt/cup.gif" alt="réunion" border="0"> (CU F) <img src="http://www.uel.education.fr/consultat
ion/reference/mathematiques/logique1/apprendre/images/compl5.gif" alt="Complémenta
ire intersection (Venn)" border="0" width="300" height="221"> <img src="http://w
ww.uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/imag
es/compl4.gif" alt="complémenatire intersection (Caroll)" border="0" width="300" h
eight="221"></li></div><div align="left"><li>CU</s
ub> (E <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/cup.gif" alt="réunion" border="0"> F) = (CU</su
b> E ) <img src="http://www.uel.education.fr/consultation/reference/symbo
les/12pt/cap.gif" alt="intersection" border="0"> (CU F) <img src="http://www.uel.education.fr/consultation/reference/mathemat
iques/logique1/apprendre/images/compl1.gif" alt="Complémentaire union (Venn)" bord
er="0" width="300" height="221"> <img src="http://www.uel.education.fr/consultat
ion/reference/mathematiques/logique1/apprendre/images/compl2.gif" alt="Complémenta
ire union (Caroll)" border="0" width="300" height="221"></li><li>C<su
b>U (CU E) = E </li><li>E
cup.gif" alt="réunion" border="0"> (CU E) = U </li><li>E <img src="http://www.uel.education.fr/consultation/referenc
e/symboles/12pt/cap.gif" alt="intersection" border="0"> (CU E) = Ø </li></div><ol><li><div align="left">
E <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt
/sub.gif" alt="inclus" border="0"> F <img src="http://www.uel.educ
ation.fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent="
" border="0"> CU F <img src="http://www.u
r="0"> CU E</div><h2 align="left">Autres opérations</h2><div align="left"> En mathématiques, onutilise aussi les notions su
ivantes :</div><h3 align="left">Différenced'ensembles</h3><div align="left"><fo
nt style="font-size: 16pt;" face="Times New Roman" size="4"> Si E et F sont des sous-ensembles de <fon
t size="5">U, ondéfinit la différence de ces deux ensembles, et on not
e E\ F, l'ensemble : </div>E \ F = { x <img src="http://www.uel.education.fr/cons
ultation/reference/symboles/12pt/isin.gif" border="0"> U | x <img
border="0">E et x <img src="http://www.uel
.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="n'appartient
pas" border="0"> F} = E <img src="http://www.uel.education.fr/cons
ultation/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> CU F<img src="http://www.uel.education.fr/consultation/referenc
e/mathematiques/logique1/apprendre/images/difference.gif" alt="E\F" border="0" w
idth="300" height="221">Remarque : certains notent la différence de deux
ensembles E -F, ma
is cette notation est dangereuse, en algèbre linéaire parexemple.<h3 alig
n="left">Différence symétrique </h3><div align="left"><fon
t style="font-size: 16pt;" face="Times New Roman" size="4">Si 
E et F sont des sous-ensembles de U, on définit ladifférence symétrique de ces deux ensembles, et
on note EΔ F, l'ensemble </div>E Δ F = (E \ F) <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> (F\ E) <div align="center"><div align="left">E Δ F = { x <img src="http://www.uel.educa
tion.fr/consultation/reference/symboles/12pt/isin.gif" border="0"> U | (x <img src="http://www.uel.education.fr/consultation/reference/symboles/12
pt/isin.gif" border="0"> E et x <img src="h
ttp://www.uel.education.fr/consultation/reference/symboles/12pt/notin.gif" alt="
n'appartient pas" border="0"> F) ou (x <im
g src="http://www.uel.education.fr/consultation/reference/symboles/12pt/notin.gi
f" alt="n'appartient pas" border="0"> E et x <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/is
in.gif" border="0">F)}</div><img src="http:
//www.uel.education.fr/consultation/reference/mathematiques/logique1/apprendre/i
mages/diffsym.gif" alt="Différence symétrique de E et F" border="0" width="300" heig
ht="221"><h2 align="left">Correspondance entre propriétés et
ensembles</h2><div align="left">On se donne un ensemble E et trois propriétés "P", "Q", <fon
t style="font-size: 20pt;" size="5">"R"susceptibles d'être vérifiées par
des éléments de l'ensemble E.À
chacune des propriétés, on associe un sous ensemble de E. A ={ x <img
border="0"> E | P(x) }, B = { x
<img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/isin
.gif" border="0"> E | Q(x) }, C = { 
x <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt
/isin.gif" border="0"> E | R(x) }. </d
iv><table border="1" cellpadding="1" cellspacing="0"><tbody><tr>
<td align="center" nowrap="nowrap">A <img src="http://www.uel.education.fr/consultation/reference/symboles/12pt/cap
.gif" alt="intersection" border="0"> B</td><td align="center" nowr
ap="nowrap">P et</f
ont> Q</td></tr><tr><td align="center" nowrap="nowrap">x <img src="http://www.uel.education.fr/consu
ltation/reference/symboles/12pt/isin.gif" border="0"> A <img src="http://
www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersec
tion" border="0"> B</td><td align="center" nowrap="nowrap">P(x) et 
Q(x)</td></tr><tr><td align="center" nowrap="nowrap">A <img src="http://www.uel.education.fr/cons
ultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> B</td><td align="center" nowrap="nowrap">P ou Q</td></tr><tr><td align="cente
r" nowrap="nowrap">x <img src="http
"> A <img src="http://www.uel.education.fr/consultation/reference/symbole
s/12pt/cup.gif" alt="réunion" border="0"> B</td><td align="center" n
owrap="nowrap">P(x) ou Q(x)</td></tr></tbody></table> <div align="left"></div><table align="left" border="1" cellpadding="1" cellspa
cing="0"><tbody><tr><td align="center" nowrap="nowrap">CE A = { x <img src="http://
www.uel.education.fr/consultation/reference/symboles/12pt/isin.gif" border="0">
E | non P(x) }</td><td align="
center" nowrap="nowrap">non
P</td></tr><tr><td align="center" nowrap="nowrap">CE CE A = A</td><td align="center" nowrap="nowrap">non(non
(P))<img src="http://www.uel.education.fr/consultation/reference/symboles
/12pt/long2harr.gif" équivalent="" border="0"> P</td></tr><
tr><td align="center" nowrap="nowrap">C
E (A <img src="http://www.uel.education.fr/consulta
tion/reference/symboles/12pt/cap.gif" alt="intersection" border="0"> B) =
(CE A) <img src="http://www.uel.education.fr/con
sultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0"> (CE B)</td><td align="center" nowrap="nowrap">non (P et Q) <img src="http://www.uel.education.fr/consultation/referen
ce/symboles/12pt/long2harr.gif" équivalent="" border="0"> ((non P) ou (nonQ
))</td></tr><tr><td align="center" nowrap="nowrap">CE (A <img src="http://www.u
el.education.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border
="0"> B) = (CE A ) <img src="http://www.u
el.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="intersection"
border="0">(CE B)</td><td align="center"
nowrap="nowrap">non
(P ou Q) <img src="http://www.uel.education.
fr/consultation/reference/symboles/12pt/long2harr.gif" équivalent="" bord
er="0">((non P) et (non Q))</td></tr><tr><td align="center" nowrap="now
rap">A <img src="http://www.uel.edu
cation.fr/consultation/reference/symboles/12pt/cup.gif" alt="réunion" border="0">(
CE A) = E</td><td align="center" n
owrap="nowrap">P ou
 (non P)</td></tr><tr><td align="cen
ter" nowrap="nowrap">A <img src="ht
tp://www.uel.education.fr/consultation/reference/symboles/12pt/cap.gif" alt="int
ersection" border="0">(CE A) = Ø</td><td al
ign="center" nowrap="nowrap">P <fo
nt size="4">et (non P) impos
sible</td></tr></tbody></table> </div> </li></ol> </div> </div></center></div></form></center> </body></html>

Index 1

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Index 1

Transféré par

Droits d'auteur :

Formats disponibles

<html dir="ltr" class=" Mozilla"><head>

Vous aimerez peut-être aussi