Ecole Polytechnique, 2016 EV2- Math´ematiques Appliqu´ees
Fiche de cours 1 : Quelques rappels sur le langage ensembliste
1 Connecteurs logiques et langage ensembliste
Etant donn´ee une proposition Ad´ependant d’une variable xappartenant un ensemble X, on note
{x2X, A(x)}l’ensemble des xpour lesquels l’assertion A(x) est v´erifi´ee. Par exemple, consid´erons A(n):
nest premier. Alors {n2N,A(n)}est l’ensemble des nombres premiers. Dans la suite on omettra d’´ecrire
Xpour all´eger les notations.
— La n´egation A(non A) de la proposition Acorrespond au compl´ementaire :
{x, A(x)}={x, A(x)}c.
— La conjonction A^B(A et B) correspond `a l’intersection :
{x, A(x)^B(x)}={x, A(x)}\{x, B(x)}.
— La disjonction A_B(AouB,leou ´etant non exclusif) correspond `a la r´eunion :
{x, A(x)_B(x)}={x, A(x)}[{x, B(x)}.
— Le quantificateur universel 8(quel que soit, pour tout) correspond `a une intersection :
{x, 8i2I, Ai(x)}=\i2I{x, Ai(x)}.
— Le quantificateur universel 9(il existe) correspond `a une r´eunion :
{x, 9i2I, Ai(x)}=[i2I{x, Ai(x)}.
— L’implication A)B(A implique B) correspond `a une inclusion :
A)Bsi et seulement si {x, A(x)}⇢{x, B(x)}.
— Quelques r`egles sur les connecteurs logiques :
(A)B),(A_B), A ,A,
A^B,A_B, A_B,A^B,
A^(B_C),(A^B)_(A^C),A_(B^C),(A_B)^(A_C),
(8x, A(x)) ,⇣9x, A(x)⌘,(9x, A(x)) ,⇣8x, A(x)⌘.
— Ces formules ont leur ´equivalent ensembliste. Par exemple, A_B,A^Bse retrouve facilement
si l’on se souvient que (A[B)c=Ac\Bc(le compl´ementaire de la r´eunion est l’intersection des
compl´ementaires).
—Attention aux quantificateurs universels : la n´egation de ’il existe un entier naturel n, tel
que 2n+3
nsoit premier’est’pour tout entier naturel n,2n+3
nn’est pas premier’ et vice versa.
1