LOGIQUE
Soit P et Q deux "propositions" mathématiques .
On note (non P) la négation de P.
Dans P ⇒ Q , P s'appelle l'hypothèse et Q la conclusion
P est une condition suffisante pour Q et Q est une condition nécessaire pour P.
Q ⇒ P est appelée la réciproque de P ⇒ Q.
Règle 1
La négation de "P ou Q" s'obtient en écrivant : "non P et nonQ".
La négation de "P et Q" s'obtient en écrivant : "non P ou nonQ".
R 1.1 [non (P ou Q)] s'obtient en écrivant: [(nonP) et (nonQ)]
[ non (P et Q)] s'obtient en écrivant : [(nonP) ou (nonQ)]
Règle2
La négation de "Pour tout x de E , on a P(x)" s'obtient en écrivant :
"Il existe un x de E pour lequel on n'a pas P(x)".
La négation de "Il existe un x de E pour lequel on a P(x)" s'obtient en écrivant :
"Pour tout x de E , on n'a pas P(x)".
R 1.2 La négation de [∀ x ∈ E , P(x) ] s'obtient en écrivant : [∃ x ∈ E , non P(x)]
La négation de [∃ x ∈ E , P(x) ] s'obtient en écrivant : [∀ x ∈ E , non P(x)]
Règle3(négation d'une implication)
R 1.3 La négation de "P ⇒ Q" s'obtient en écrivant : "P et nonQ".
Règle4 (contraposition)
R 1.4 (P ⇒ Q) est équivalent à (nonQ ⇒ nonP )
ENSEMBLES
P(E) désigne l'ensemble des parties de E , c'est à dire des sous-ensembles de E.
Inclusion
"A ⊂ B" signifie : Tout élément x de A est élément de B
En abrégé ∀ x ∈ A , x ∈ B.
Egalité d' ensembles
"A = B" signifie : "A ⊂ B et B ⊂ A "
Une égalité d'ensembles se démontre en général par "double inclusion"
Union - Intersection.
Si A et B sont deux sous-ensembles de E ,
A ∪ B = {x ∈ E , x ∈ A ou x ∈ B }
A ∩ B = {x ∈ E , x ∈ A et x ∈ B }
AC = { x ∈ E , x ∉ A }
Propriétés de ∩ et ∪
(A ∪ B)c = Ac ∩ Bc (A ∩ B)c = Ac ∪ Bc
A ∪ (B ∪ C) = (A ∪ B) ∪ C (associativité de ∪ ) A ∩(B ∩ C) = (A ∩ B) ∩ C (associativité de ∩ )
A ∩(B ∪ C) = (A ∩ B) ∪(A ∩ C) (distributivité de ∩ sur ∪)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) (distributivité de ∪ sur ∩ )
Produit cartésien
E × F = { (a,b) , a ∈ E et b ∈ F }