A partir de 2 proposition P et Q, on peut définir 2 autres proposition : "non P" et "non Q".
Par définition, la proposition "non P" est vraie si P est fausse.
Notation : non P = Pb
Ex : P = (x>2), Pb = (x £ 2)
P = ($ x Î E, x > 0), Pb = ( " x Î E, x £ 0)
Tableau de vérité :
| P | Q | Non P | P et Q | P ou Q | P => Q | PÛ Q |
| V | V | F | V | V | V | V |
| V | F | F | F | V | F | F |
| F | V | V | F | V | V | F |
| F | F | V | F | F | V | V |
Le but est de démontrer l'implication entre 2 propositions P et Q
Soit E un ensemble
P(E) : Ensemble des sous-ensembles de E
Soit A, B, C des sous-ensembles de E
Soit A et B 2 sous-ensembles de E.
Soit A, B, C 3 sous-ensembles de E
Soit E1, ..., En, n ensembles
Soit A une partie de E, on appelle complément de A dans E CE(A), CA, CA, AbE :
Si A Í B, alors CE(B) Í CE(A)
Soit A et B 2 sous-ensembles de E, on appelle différence de A et B noté A\B l'ensemble des éléments de A qui n'appartiennent pas à B
Soit E et F 2 ensembles. On appelle graphe tout sous-ensembles de E x F.
On appelle application la donnée du triplet (E,F,G), où G est un graphe tel que à tout élément x de E, soit associé un unique couple G.
Soit A Í E, f(A) = {f(x), x Î A} = {y Î F, $ x Î A, y = f(x)}
B Í F, f -1(B) = {x Î A, f(x) Î B}
On note F(E,F), l'ensemble des applications de E dans F.
Si E = I un ensemble indice, F(I,F) = FI, et un élément de FI est appelé une famille d'élément de F indexée par I noté (xi)iÎ I.
Soit f : E ® F, soit L Í E
Soit f : E ® F et g : F ® G 2 applications.
On définit l'application composée de f par g, noté f o g comme l'application de E dans G " x Î E, g o f(x) = g[f(x)]
Si f et g sont injectives, g o f est injective
Si f et g sont surjectives, g o f est surjective
Si g o f est injective, alors f est injective
Si g o f est surjective, alors g est surjective.
Soit f : E ® F une application
f est injective Û $ g : F ® E, g o f = IdE
f est surjective Û $ h : F ® E, f o h = IdF
Soit f : E ® F une application.
f est bijective Û $ f -1 : F ® E, f -1o f = IdE et f o f -1 =IdF
f -1 s'appelle la fonction réciproque de f.
Si f et g sont bijectives, alors g o f est bijective et (g o f)-1 = f-1 o g-1.
ATTENTION : Si g o f est bijective alors f et g ne le sont pas forcément.
3. La loi de composition interneDef : On appelle loi de composition interne sur E, toute application de E x E dans E.
Def : F Í E on dit que F est stable pour la loi de composition interne (LCI) ^ si " (x,y) Î F², x ^ y Î F
Def : Soit ^ une LCI sur E, on dit que ^ est :
Soit a Î E, on dit que a est régulier à gauche (resp. droite) si l'application E ® E, x ® a ^ x est injective (resp. E® E, x ® x ^ a est injective)
On dit que a est régulier si a est régulier à gauche et à droite.
Def : Soit ^ une LCI qui admet un élément neutre e. Soit a Î E.
Théo : Si ^ est une LCI sur E qui est associative et qui admet un élément neutre e.
Def : Une relation binaire sur E est une partie de E x E. On dit que  est :
Def : Une relation d'équivalence est une relation binaire réflexive, symétrique et transitive.
Def : Soit  une relation d'équivalence sur E. Soit x Î E. On appelle classe d'équivalence de x noté C(x), x(point) ou x (barre), l'ensemble des élément de E qui sont en relation avec x.
On appelle ensemble quotient de E par  , noté E/Â, l'ensemble des classes d'équivalences de E.
Propriétés : Si x1 ¹ x2, 2 éléments de E,
Def : C'est une relation binaire qui est réflexive, antisymétrique et transitive.
Def : Soit (E,£ ) une ensemble ordonné. On dit que E est totalement ordonné ou que l'ordre est total, si " (x,y) Î E², x£ y ou y £ x. Dans le cas où £ est total, le contraire de x £ y est x > y.
Si £ n'est pas totale, on dit que la relation d'ordre est partielle.
Def : Soit (E, Â1), (F, Â2) 2 ensembles ordonnés. Soit f : E ® F une application.
Prop : Soit (E, Â1), (F, Â2) 2 ensembles ordonnés. Soit f : E ® F une application.
Théo : Soit (E, Â1), (F, Â2), (G, Â3) 2 ensembles ordonnés. Soit f : E ® F et g : F ® G 2 applications.
Def : Soit (E, Â) un ensemble ordonné. Soit m Î E
m
est le plus petit élément de E, si " x Î E, m  xThéo : Soit (E, Â) un ensemble totalement ordonné. Soit A Í E