Logique et Langage des ensembles
66 pages
Français

Logique et Langage des ensembles

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
66 pages
Français
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Description

maîtrise, Supérieur, Maîtrise (bac+4)
  • cours - matière potentielle : université en ligne é
  • cours - matière potentielle : introduction rapide
  • redaction - matière potentielle : —
1Logique et Langage des ensembles Les notions abordées dans ce module sont des notions de base qui inter- viennent dans tous les domaines des mathématiques. Souvent considérées comme acquises par les étudiants après un cours d'introduction rapide, elles sont sus- ceptibles de causer des difficultés dans tout le travail ultérieur, en cas de maîtrise insuffisante. C'est pourquoi ce module est très détaillé sur les questions qui posent problème aux étudiants. Il est conseillé de travailler de façon approfondie ce mo- dule au début de l'année, puis de revenir ensuite revoir les points qui sont source de difficulté.
  • quante questions
  • notation des logiciens
  • négation —
  • test d'auto-évaluation avec qua
  • négation
  • entier
  • entiers
  • entière
  • inclusions
  • inclusion
  • proposition
  • propositions
  • langage
  • langages

Sujets

Informations

Publié par
Nombre de lectures 81
Langue Français

Extrait

1
Logique
et
Langage des ensembles
Les notions abordées dans ce module sont des notions de base qui inter-
viennent dans tous les domaines des mathématiques. Souvent considérées comme
acquises par les étudiants après un cours d’introduction rapide, elles sont sus
ceptibles de causer des difficultés dans tout le travail ultérieur, en cas de maîtrise
insuffisante. C’est pourquoi ce module est très détaillé sur les questions qui posent
problème aux étudiants. Il est conseillé de travailler de façon approfondie ce mo
dule au début de l’année, puis de revenir ensuite revoir les points qui sont source
de difficulté.
Université en ligne É. COUSQUER et C. SACRÉ, USTL2
Contenu du module "Logique et théorie des ensembles"
1. Connecteurs — Négation — Conjonction — Disjonction — Lois de Morgan
— Distributivité
Cours et cinq exercices interactifs avec correction.
2. Langage des ensembles — Notion d’ensemble — Inclusion et égalité —
Ensembles particuliers — Réunion d’ensembles — Intersection d’ensemble
— Propriétés de distributivité — Complémentaire d’un ensemble — Autres
opérations — Correspondance Ensembles/Propriétés
Cours et trente neuf exercices interactifs.
3. Quantificateurs — Quantificateur universel — Quantificateur existentiel —
Règles d’usage — Négation des quantificateurs
Cours, quatorze exercices interactifs, un test d’auto évaluation avec qua
rante questions
4. Implication — Sens de l’implication — Condition nécessaire, suffisante —
Contraposée — Réciproque — Négation de l’implication — Équivalence
logique
Cours, trois exercices interactifs, deux tests d’auto évaluation avec cin
quante questions
5. Applications — Définition — Images — Composition — Propriétés
Cours, quarante exercices interactifs, deux tests d’auto évaluation avec quatre
vingt questions
6. Relations — Définition — Relation d’équivalence — Relation d’ordre —
Application croissante entre ensembles ordonnés
Cours et vingt six exercices interactifs.
7. Démonstrations — Implication — Conjonction — Disjonction — Négation
— Démonstration par l’absurde — Quantificateurs et démonstration
Cours et dix sept exercices interactifs.
8. Rédaction — Directives générales — Connecteurs logiques — Quantifica
teurs — Remarques finales
Cours et neuf exercices interactifs.
9. Cardinal d’un ensemble — Les ensembles infinis — Cardinal d’un en
semble — Le dénombrable — Le continu : les réels — Le continu : les
nombres complexes — Les cardinaux infinis
Cours
Université en ligne É. COUSQUER et C. SACRÉ, USTL3
Connecteurs logiques
En mathématiques, on se situe dans le cadre d’une logique à deux valeurs.
Une proposition mathématique "P " est soit vraie soit fausse. Si elle est vraie,
nous lui attribuons la valeur 1, (ou V) ; si elle est fausse, nous lui attribuons la
valeur logique 0, (ou F).
2On peut trouver des propositions toujours vraies, par exemple "x ≥ 0" pourx
réel, ou "0 = 0" qu’on appelle des tautologies, des propositions toujours fausses,
par exemple "0 = 1" et des propositions tantôt vraies, tantôt fausses, par exemple
2"x = 1" qui est vraie pour "x = 1" ou "x =−1", et fausse sinon.
But de ce chapitre On examine comment, à partir de propositions données en
former de nouvelles, à l’aide de connecteurs logiques :
— la négation — le "non"
— la conjonction — le "et"
— et la disjonction logique — le "ou".
Négation
Notation de la négation d’une proposition On note "nonP " le contraire de la
proposition "P ", c’est à dire la proposition qui est vraie quand "P " est fausse et
qui est fausse quand "P " est vraie. Par exemple si "P " est la proposition "x = 0",
"nonP " est la proposition "x = 0".
Remarque Une notation des logiciens pour "nonP " est la notation "¬P ". On
se contentera de la avec le mot non, car nous ne développons pas un cours
de logique.
p nonp
Table de vérité de la négation 1 0
0 1
Négation de la négation Une propriété immédiate est que "non (nonP)" est
équivalente à "P ", (cela se voit aussi sur la table de vérité.)
(non (nonP))⇐⇒P
Sens du symbole "équivaut" Le sens du symbole⇐⇒ qui se lit équivaut, et
qui signifie ici que les deux propositions ont toujours la même valeur sera revu
par la suite.
Université en ligne É. COUSQUER et C. SACRÉ, USTL
64
Conjonction
Notation de la conjonction de deux propositions Lorsque l’on a deux propo
sitions "P ", "Q", on peut former une nouvelle proposition appelée la conjonction
de ces deux propositions, que l’on notera "P etQ". La proposition "P etQ" vraie
signifie que les deux propositions sont vraies en même temps. Par exemple pour
2 2deux nombresx ety réels, la proposition "x +y = 0" équivaut à "x = 0 ety =
0". Il est clair que :
(P etQ)⇐⇒ (Q etP)
Remarque Une notation des logiciens pour "P etQ" est "P∧Q", que nous
n’emploierons pas dans ce cours.
Commutativité Il est clair que (P etQ)⇐⇒ (Q etP)
p q p etq
1 1 1
Table de vérité de la conjonction 1 0 0
0 1 0
0 0 0
Disjonction
Lorsque l’on a deux propositions "P ", "Q", on peut former une proposition
que l’on appelle la disjonction de ces deux propositions, et que l’on note "P ouQ".
La proposition "P ouQ" est vraie si l’une au moins des deux propositions "P " ou
"Q" est vraie.
Attention Ce point diffère du langage courant. En mathématiques, le ou est non
exclusif, c’est à dire qu’il comprend la possibilité que les deux propositions soient
vraies. Ainsi la proposition "xy = 0" équivaut à la proposition "x = 0 ouy = 0",
elle est vraie quand l’un des deux nombres est nul, elle est aussi vraie quand les
deux sont nuls.
Remarque Une notation des logiciens pour "P ouQ" est "P∨Q", que nous
n’emploierons pas dans ce cours.
Commutativité Il est clair que (P ouQ)⇐⇒ (Q ouP)
Université en ligne É. COUSQUER et C. SACRÉ, USTL5
p q p ouq
1 1 1
Table de vérité de la disjonction 1 0 1
0 1 1
0 0 0
Lois de Morgan
Elles indiquent comment prendre la négation d’une disjonction, ou la négation
d’une conjonction.
Négation de la disjonction D’après l’inventaire des trois cas possibles pour la
proposition "P ouQ", la proposition "non (P ouQ)" signifie que l’on a "P " faux
et "Q" faux, c’est à dire que l’on a la proposition "(nonP) et (nonQ)" :
non (P ouQ)⇐⇒ ((nonP) et (nonQ))
Négation de la conjonction De même la proposition "non (P etQ)" signifie
que l’on est dans l’un des trois cas : "P " faux et "Q" vrai, "P " faux et "Q" faux,
"P " vrai et "Q" faux, c’est à dire que l’une au moins des propriétés "P ", "Q" est
fausse, et que l’on a la proposition "(nonP) ou (nonQ)" :
non (P etQ)⇐⇒ ((nonP) ou (nonQ))
Lois de distributivité
On va démontrer deux lois de distributivité par les tables de vérité.
La conjonction est distributive par rapport à la disjonction
(P et (Q ouR))⇐⇒ ((P etQ) ou (P etR))
p q r q our p etq p etr (p etq) ou (p etr) p et (q our)
1 1 1 1 1 1 1 1
1 1 0 1 1 0 1 1
1 0 1 1 0 1 1 1
1 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0
Université en ligne É. COUSQUER et C. SACRÉ, USTL6
La disjonction est distributive par rapport à la conjonction
(P ou (Q etR))⇐⇒ ((P ouQ)et (P ouR))
p q r q etr p ouq p our (p ouq) et (p our) p ou (q etr)
1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 1 1 1 1
0 1 0 0 1 0 0 0
0 0 1 0 0 1 0 0
0 0 0 0 0 0 0 0
Travail à faire sur ordinateur
Les cinq exercices interactifs du chapitre "Connecteurs logiques"
Université en ligne É. COUSQUER et C. SACRÉ, USTL7
Notion d’ensemble
Depuis le début du vingtième siècle, tous les objets mathématiques sont dé
crits en utilisant le langage des ensembles. Ensembles de nombres, ensembles de
points, ensembles de fonctions, etc.
On ne définit pas la notion d’ensemble. Sinon, si l’on dit qu’un ensemble est
une collection, il faudrait définir ce qu’est une collection, etc. Nous allons simple
ment préciser les notations et les règles pour utiliser ce langage de façon sûre.
Exemples Vous même avez commencé à utiliser ce langage.
N ensemble des entiers nat

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents