Professional Documents
Culture Documents
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
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
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
i=1
i a le mme sens que k , savoir : la somme des N premiers entiers naturels non nuls. On
k =1
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).
4
DAEU B DU - Math. Chap. I - Monique MATHIEU
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).
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.
C (C A) = (C B) A
C B C
7
DAEU B DU - Math. Chap. I - Monique MATHIEU