©Arnaud de Saint Julien - MPSI Lycée La Merci 2016-2017 1
Programme de colle n°1 de la semaine n°4 du 19/09 au 23/09
1 Éléments de logique
1. Connecteurs logiques : «non»,«et», «ou», «implique», «équivaut». Tables de vérité. À retenir absolu-
ment :
• la négation de (P⇒Q) est (Pet non Q).
• l’assertion (P⇒Q) est équivalente à (non Q⇒non P). On dit que (non Q⇒non P) est la
proposition contraposée de (P⇒Q).
Exemple :(⋆)montrer par contraposée que si n2est pair alors nest pair.
• Les lois de Morgan :
non(Pet Q)⇔(nonPou non Q)
non(Pou Q)⇔(nonPet non Q).
• L’associativité des connecteurs «et», «ou»
• la distributivité du connecteur logique «ou» par rapport au connecteur logique «et» :
((Pet Q) ou R)⇔((Pou R) et (Qou R)) .
2. Quantificateurs :∀et ∃. Notation ∃!. Négation et permutation des quantificateurs. On retiendra que :
• la négation de (∀x∈E, P (x)) est (∃x∈E, non P(x)) et la négation de (∃x∈E, P (x)) est
(∀x∈E, non P(x)).
• on peut permuter deux quantificateurs de même type, mais on ne peut rien dire à priori dans le cas
de quantificateurs de types différents.
Il faut savoir écrire la négation d’assertions et savoir dire si une assertion est vraie ou fausse.
2 Vocabulaire de théorie des ensembles
1. Vocabulaire : éléments d’un ensemble, inclusion, sous-ensemble ou partie, notation avec «accolades».
(⋆)L’ensemble vide 1est une partie de n’importe quel ensemble A. Utilisation de la double inclusion pour
prouver l’égalité de deux ensembles.
Attention :
• ne pas confondre les symboles ∈et ⊂.
• Ne pas confondre ∅et {∅}. Le premier désigne l’ensemble vide et le second désigne un ensemble
constitué d’un élément qui est l’ensemble vide.
2. Opérations sur les ensembles :
• Intersection, réunion, complémentaire, différence (A\B=A∩B). Exemple, R\Qest non vide car
√2 est irrationnel.
On a toujours les inclusions suivantes :
(A∩B)⊂A⊂(A∪B).
• Traduction ensembliste des lois de Morgan
A∪B=A∩Bet A∩B=A∪B.
• Associativité et Distributivité de l’intersection et de la réunion
• Les relations suivantes doivent vous paraître évidentes :
A∪A=E, A ∩A=∅;A∩ ∅ =∅, A ∪ ∅ =A.
3. Produit cartésien
1. En effet, l’assertion (∃x∈ ∅, x /∈A) est fausse donc sa négation (∀x∈ ∅, x ∈A) est vraie, ce qui prouve que ∅ ⊂ A.