2014-2015 Logique
Connecteurs logiques « et » et « ou » - Négation
Une proposition est une affirmation qui peut être soit vraie, soit fausse.
Exemples
« Le triangle ABC est un triangle rectangle. » est une proposition qui peut être vraie ou
fausse.
« 2 <3 » est une proposition vraie.
« 2 est le carré d’un nombre entier » est une proposition fausse.
Soient P et Q deux propositions.
Pet Q signifie « l’un et l’autre à la fois ».
Pou Q signifie « au moins l’un des deux ».
Exemple
La proposition « 4 65 » qui signifie « 4<5 ou 4=5 » est VRAIE.
Négation
Soit une proposition P.
La négation de P est la proposition notée « non P » qui est fausse si P est
vraie, qui est vraie si P est fausse.
Soit P et Q deux propositions.
La négation de la proposition « P et Q » est la proposition « non P ou non Q ».
La négation de la proposition « P ou Q » est la proposition « non P et non Q ».
Exemples
Soit xun nombre réel.
La négation de la proposition « x > 5 » est la proposition « x65 ».
La négation de la proposition « 2 < x < 3 » (qui signifie « x > 2 et x < 3 ») est la proposition
«x62 ou x>3 ».
Ensembles : intersection - réunion - complémentaire
Intersection
Soient Aet Bdeux ensembles.
L’intersection des ensembles Aet B, notée AB, est l’ensemble des éléments qui appartiennent
àAet à B.
1
2014-2015 Logique
A B
AB
Réunion
La réunion des ensembles Aet B, notée AB, est l’ensemble des éléments qui appartiennent
àAou à B.
A B
AB
Complémentaire
Soit un ensemble Eet Aun sous-ensemble de E.
Le complémentaire de Adans E, noté
A, est l’ensemble des éléments de Equi n’appartiennent
pas à A.
Soit xun élement de E.
La négation de « xA» est « xA».
Lois de Morgan
Soit un ensemble Econtenant deux sous-ensembles Aet B, soit xun élément de E.
La négation de « xAou xB» est « xAet xB.
Ceci s’écrit : AB=AB.
La négation de « xAet xB» est « xAou xB.
Ceci s’écrit : AB=AB.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !