Vous êtes sur la page 1sur 7

CHAPITRE I

Rudiments de logique Et Theorie des ensembles

Le but de ce chapitre est simplement d'noncer les rgles lmentaires de logique le plus rigoureusement possible, sans pour autant entrer dans des considrations trop gnrales qui dpasseraient largement le cadre de cette leon : ces rgles doivent tre considres comme des rgles de grammaire dont le rle est de prmunir contre les erreurs graves (et nanmoins classiques) de raisonnement. Dans les deux premires parties, nous introduisons les symboles mathmatiques utiliss couramment entre propositions, puis entre ensembles, et nous en explicitons les rgles d'usage. Dans la troisime partie, nous tablissons un lien entre "calculs propositionnels" et "calculs ensemblistes".

I calcul propositionnel
On appelle ici proposition, une assertion qui ne peut tre que vraie ou fausse. On lui attribue la valeur 1 lorsqu'elle est vraie, 0 lorsqu'elle est fausse et on dit que 1 et 0 sont ses deux valeurs de vrit. Supposons donn un ensemble de propositions dites primitives ou atomiques et, partir de cet ensemble, expliquons comment construire de nouvelles propositions. Pour ce faire, nous allons dfinir des constructeurs; ils sont de deux types : les connecteurs et les quantificateurs.

1 les connecteurs
Il y en a cinq principaux : La ngation, reprsente par le symbole "", qui se lit "non". La conjonction, reprsente par le symbole "", qui se lit "et". La disjonction, reprsente par le symbole "", qui se lit "ou". L'implication, reprsente par le symbole "", qui se lit "implique". L'quivalence, reprsente par le symbole "", qui se lit "quivaut ". La ngation est un connecteur une place (il s'applique une proposition), les autres sont des connecteurs deux places.

Tables de vrit

Ce sont des tableaux qui donnent la valeur de vrit de la proposition construite l'aide d'un connecteur en fonction des valeurs de vrit de la, ou des propositions connectes : ces tables dfinissent donc les connecteurs. La plus simple est celle relative la ngation. Soit P une proposition : P 1 P 0

DAEU B DU - Math. Chap. I - Monique MATHIEU

Procdons de la mme faon pour dfinir les autres connecteurs. Soient P et Q deux propositions. Dans le tableau nous indiquons les valeurs attribues P et Q puis, sur la mme ligne, la valeur que prend alors la proposition construite avec P, Q et le connecteur :

P 1 1 0 0

Q 1 0 1 0

PQ 1 0 0 0

PQ 1 1 1 0

PQ 1 0 1 1

PQ 1 0 0 1

La proposition QP est appele la rciproque de la proposition PQ.

Nous avons ainsi agrandi l'ensemble de dpart des propositions atomiques : par exemple, si P et Q sont deux telles propositions, PQ est une nouvelle proposition. Il est clair qu'on peut l'agrandir l'infini en faisant des assemblages de propositions connectes entre elles. Donnons quelques exemples d'assemblages qui nous semblent les plus significatifs. Nous noterons P Q pour exprimer que P et Q prennent les mmes valeurs i.e. pour exprimer que PQ est toujours vraie.

1ers exemples
P 1 1 0 0 Q 1 0 1 0 PQ 1 1 1 0 (PQ) 0 0 0 1 P 0 0 1 1 Q 0 1 0 1 (P) (Q) 0 0 0 1

Remarques et exercices
1) On constate que l'on a : (PQ) (P) (Q). La ngation de la disjonction est la conjonction des ngations. 2) Dmontrer, de faon analogue que : (PQ) (P) (Q). La ngation de la conjonction est la disjonction des ngations. 3) Dmontrer que : (P) P. 4) On a : PQ [ (PQ) ] [ (P)(Q) ]. Le connecteur est donc redondant : on l'obtient l'aide de et de . 5) Dmontrer de la mme faon que le connecteur peut s'crire l'aide de et de .

2
DAEU B DU - Math. Chap. I - Monique MATHIEU

2mes exemples
P 1 1 0 0 Q 1 0 1 0 PQ 1 0 1 1 P 0 0 1 1 (P)Q 1 0 1 1 Q 0 1 0 1 P(Q) 0 1 0 0 [P(Q)] 1 0 1 1 (Q)(P) 1 0 1 1

Remarques et exercices
1) La proposition (Q)(P) s'appelle la contrapose de la proposition PQ. On voit que ces deux propositions prennent toujours les mmes valeurs : cette remarque est la base du raisonnement par l'absurde. 2) Le fait que PQ (P)Q nous permet de nier facilement une implication : (PQ) P(Q) 3) Dire que PQ est vraie signifie : ou bien que P est une condition suffisante pour Q, ou bien que pour avoir Q, il suffit d'avoir P, ou bien que Q est une condition ncessaire pour P, ou bien que pour avoir P, il faut avoir Q. 4) Dmontrer que : PQ [ (PQ)(QP) ] Dire que PQ est vraie signifie donc que P (resp. Q) est une condition ncessaire et suffisante pour Q (resp. P), ou encore que pour avoir P (resp. Q) il faut et il suffit d'avoir Q (resp. P). 5) Ecrire PQ l'aide des seuls connecteurs et 6) Soient P, Q, R trois propositions, dmontrer que : P(QR) (PQ)(PR). 7) Soient P, Q, R trois propositions, crire les tables de vrit de P(QR) et de (PQ)(PR). Conclure. 8) On dfinit un nouveau connecteur not "!", qui se lit "ou exclusif" de la faon suivante : P 1 1 0 0 Q 1 0 1 0 P!Q 0 1 1 0

A-t-on P(Q!R) (PQ)!(PR) ? P!(QR) (P!Q)(P!R) ? 9) Si P et Q sont deux propositions, on pose : P Q = (P) (Q) . 9.a) Donner la table du connecteur . 9.b) Exprimer , puis , , en utilisant uniquement le connecteur .
3
DAEU B DU - Math. Chap. I - Monique MATHIEU

2. LES QUANTIFICATEURS
Il y a deux quantificateurs : Le quantificateur universel, reprsent par le symbole "", qui se lit "pour tout" ou "quel que soit". Le quantificateur existentiel, reprsent par le symbole "", qui se lit "il existe au moins un" ou plus rapidement "il existe un".

Dans une proposition interviennent, en gnral, des lettres appeles variables. Mais ces variables n'ont pas toutes le mme statut. Considrons l'expression :

i,
i=1 N
N

o i et N sont des entiers naturels.

i=1

i a le mme sens que k , savoir : la somme des N premiers entiers naturels non nuls. On
k =1

dit alors que i est une variable muette ou lie.

i=1

i et

i o M est un autre entier naturel, n'ont pas le mme sens. L'une est la somme des N
i=1

premiers entiers naturels non nuls l'autre, la somme des M premiers. On dit alors que N est une variable libre. On notera P(x, y, z, ...) pour exprimer que les valeurs de vrit de la proposition P dpendent des variables x, y, z, .... Ainsi : [x , P(x)] est vraie si P est vrifie pour tout x, fausse sinon, [x , P(x)] est vraie si P est vrifie en un certain x, fausse si elle n'est jamais vrifie. Clairement on a : x , P(x) y , P(y) et aussi x , P(x) y , P(y).

Les quantificateurs rendent muette la variable qu'ils quantifient.


Une phrase dans laquelle une variable n'est pas muette est une phrase mal forme et, dans la pratique, elle conduit souvent une erreur de raisonnement.

3. REGLES D'UTILISATION DES CONSTRUCTEURS


1) [ (x , P(x)) ] x , ( P(x)) , 2) [ (x , P(x)) ] x , ( P(x)) , 3) x , y , P(x , y) y , x , P(x , y) , 4) x , y , P(x , y) y , x , P(x , y) , 5) x , y , P(x , y) y , x , P(x , y) est une proposition toujours vraie, sa rciproque est fausse, i.e. n'est pas toujours vraie). 6) [ x , P(x) ] [ x , Q(x) ] x , [ P(x) Q(x) ] est une proposition toujours vraie, sa rciproque est fausse, i.e. n'est pas toujours vraie). 7) [ x , P(x) ] [ x , Q(x) ] x , [ P(x) Q(x) , 8) [ x , P(x) ] [ x , Q(x) ] x , [ P(x) Q(x) ] 9) x , [ P(x) Q(x) ] [ x , P(x) ] [ x , Q(x) ] est une proposition toujours vraie, sa rciproque est fausse, i.e. i.e. n'est pas toujours vraie).

4
DAEU B DU - Math. Chap. I - Monique MATHIEU

II. THEORIE DES ENSEMBLES


Nous n'essaierons pas de dfinir les mots ensemble et lment, une comprhension intuitive de ces mots sera suffisante ici. Arrtons-nous pourtant un instant sur la phrase suivante : "L'ensemble de tous les ensembles n'est pas un ensemble". A premire vue, elle n'a pas de sens : c'est qu'elle mlange la langue mathmatique avec la langue naturelle (ici, le franais). Soulignons le mot ensemble lorsqu'il est utilis dans son sens mathmatiques : "L'ensemble de tous les ensembles n'est pas un ensemble". Le sens de cette phrase devient clair. Les mathmatiques utilisent, bien sr, le vocabulaire de la langue naturelle, mais les mots y ont un sens plus prcis, voire mme totalement diffrent. Consquence de cette remarque : une dfinition s'apprend. Dans la suite, nous abrgerons l'expression "si et seulement si" par ssi. On crit "aE" ssi a est un lment de l'ensemble E, et on lit "a appartient E". On crit aussi "aE" ssi a n'est pas un lment de E, et on lit "a n'appartient pas E" Remarquons que ce symbole d'appartenance "" n'est pas symtrique, les deux objets qu'il met en relation ne sont pas de mme nature : gauche a est un lment, droite E est un ensemble. Soient A et E deux ensembles vrifiant la proprit : a, (aAaE). On dit alors que A est une partie de E ou encore que A est un sous-ensemble de E.

Si l'on considre toutes les parties de E, un axiome de la thorie des ensembles dit qu'elles constituent un ensemble not (E) (E) . Soit l'ensemble dfini par a , (aa) : s'appelle l'ensemble vide. Un axiome de la thorie des ensembles dit que, quel que soit l'ensemble E, (E) , un autre axiome dit que E (E) .
Soit donc E un ensemble fix, dfinissons les symboles classiques de la thorie dite des ensembles. Soient A et B deux parties de E.

1. L'INCLUSION
On crit " A B " ssi [aE , (aAaB)] est vraie, et on lit "A est inclus dans B". On crit aussi "BA", et on lit "B contient A".

Remarques et exercices
a) On peut donc crire indiffremment : A (E) ou A E . b) Dfinir : A n'est pas inclus dans B, ce que l'on crira AB. c) On dit que deux ensembles sont gaux s'ils ont les mmes lments i.e. : A=B ssi A B et B A . Dfinir AB.

5
DAEU B DU - Math. Chap. I - Monique MATHIEU

2. L'INTERSECTION
On dfinit une partie de E note "AB", et on lit "A inter B", de la faon suivante : aAB ssi [aA et aB] est vraie.

3. L'UNION
On dfinit une partie de E note "AB", et on lit "A union B", de la faon suivante : aAB ssi [aA ou aB] est vraie.

4. LE COMPLEMENTAIRE
On dfinit une partie de E note "CE B", et on lit " complmentaire de B dans E" de la faon suivante : a CE B ssi [aE et aB] est vraie.

Proprits du complmentaire (les dmontrer). CE E = ; CE = E. Pour toute partie A de E, CE CE A = A , ACE A = E ; ACE A = . Pour toute A et B de E, CE (AB) = (CE A) (CE B) ; CE (AB) = (CE A) (CE B).

III. LIEN ENTRE CALCULS PROPOSITIONNELS ET CALCULS ENSEMBLISTES


Soit E un ensemble.

Soit P une proposition dfinie sur E, on note : AP = {xE , P(x) est vraie} ; AP est une partie de E. Soit A une partie de E, on note : PA la proposition dfinie par : x E, PA (x) "xA" ; PA(x) est vraie si x est un lment de A, fausse sinon : PA est bien une proposition dfinie sur E.
Avec ces conventions, on a alors :

1) A, B ( E ) AB ssi xE, PA(x)PB(x) est vraie, 2) PAB PA PB, 3) PAB PA PB, 4) P PA,

CE A

5) Si AB, P

CB A

PB (PA).

Exercices .
1) Dmontrer que A (E) , A = A ; A = ; AE = E ; AE = A. 2) Dmontrer que A, B (E) , AB = BA ; AB = BA. 3) Dmontrer que A, B, C (E) , A(BC) = (AB)C ; A(BC) = (AB)C.
6
DAEU B DU - Math. Chap. I - Monique MATHIEU

4) Dmontrer que A, B, C (E) : A(BC) = (AB)(AC), A(BC) = (AB)(AC). 5) Redmontrer les proprits du complmentaire l'aide du calcul propositionnel. 6) Soient A et B deux parties de E, on en dfinit une troisime par : AB = CAB AB. Dmontrer que PAB PA! PB. Dmontrer que A(BC) = (AB)(AC), pour toutes parties A, B, C de E. 7) Soient A, B, C trois ensembles tels que ABC. Dmontrer que CC(CB A) = (CC B) A. 8) Existe-t-il un ensemble X pour lequel l'ensemble (X) a exactement 3 lments ? 9) Soient A et B deux parties d'un ensemble E. Comparer (A B) avec (A) (B).
Comparer (A B) avec (A) (B). 10) Soient A et B deux ensembles. 10.a) Dmontrer que (A) (B) A B.

10.b) Si AB, dmontrer que

C (C A) = (C B) A
C B C

7
DAEU B DU - Math. Chap. I - Monique MATHIEU