SlideShare uma empresa Scribd logo
1 de 43
Baixar para ler offline
Introduction à la logique
mathématique
Encadré par: Mr Lâaroussi Gary
Animé par: Mr Houssem Eddine Fitati
Année scolaire 2012 – 2013
CREFOC-Radès
Introduction:
La logique
mathématique, logique
formelle ou méta-
mathématique est une
discipline
des mathématiques introduite à
la fin du XIXe siècle, qui s'est
donnée comme objet l'étude des
mathématiques en tant que
langage. Les objets
fondamentaux de la logique
mathématique sont
les formules modélisant les
énoncés mathématiques,
les dérivations ou démonstrations
formelles modélisant les
raisonnements mathématiques et
les sémantiques ou modèles qui
définissent le « sens » des
formules (et parfois même des
démonstrations) comme certains
invariants : par exemple
l'interprétation des formules
du calcul des prédicats dans
les structures permet de leur
affecter une valeur de vérité.
( source wikipédia )
Introduction à la logique mathématique CREFOC Radès 2012~2013 2
Ça sert à quoi ?
Introduction à la logique mathématique CREFOC Radès 2012~2013 3
Préambule
Un résultat mathématique (ou une proposition) est un énoncé
vrai. Suivant son importance, il est qualifié de :
• lemme : résultat d’une importance mineure,
• théorème : résultat d’une importance majeure.
Faire une démonstration (on dit aussi preuve), c’est réaliser un
processus qui permet de passer de propositions supposées
vraies prises comme hypothèses à une proposition appelée:
conclusion et ce en utilisant les règles strictes de logique.
Introduction à la logique mathématique CREFOC Radès 2012~2013 4
Plan du cours
Introduction à la logique mathématique CREFOC Radès 2012~2013 5
• Assertion et prédicat
• Propriétés
• Les connecteurs logiques
• Les quantificateurs mathématiques
• Différents modes de démonstration
Assertion & prédicat
Définitions et exemples
Introduction à la logique mathématique CREFOC Radès 2012~2013 6
Assertion:
• Définition:
Une assertion est un énoncé
mathématique auquel on
peut attribuer la valeur de
vérité:
vraie (V) ou faux (F)
mais jamais les deux à la
fois. C’est le principe du
tiers-exclu.
• Exemple:
 L’énoncé « 24 est un
multiple de 2 » est vrai (V).
 L’énoncé « 19 est un
multiple de 2 » est faux (F).
 L’énoncé « Tunis est la
capitale de la Tunisie » est
vrai (V).
Introduction à la logique mathématique CREFOC Radès 2012~2013 7
Prédicat:
• Définition:
Un prédicat est un énoncé
mathématique contenant des
lettres appelées variables tel que
quand on remplace chacune de
ces variables par un élément
donné d’un ensemble, on
obtient une assertion.
• Exemple:
L’énoncé suivant :
P(n) = « n est un multiple de 2 »
est un prédicat car il devient une
assertion quand on donne
une valeur à n.
 P(10) = « 10 est un multiple de
2 » est une assertion vraie,
 P(11) = « 11 est un multiple de 2
» est une assertion fausse.
Introduction à la logique mathématique CREFOC Radès 2012~2013 8
• Remarque:
Une assertion peut
s’interpréter comme
un prédicat sans
variable, c’est-à-dire
comme un prédicat
toujours vrai ou
toujours faux.
L’énoncé suivant :
P(x, A) = « x ∈ A »
est un prédicat à deux variables.
 P(1, N) est une assertion vraie,
 P( 2, Q) est une assertion
fausse.
Introduction à la logique mathématique CREFOC Radès 2012~2013 9
Les connecteurs logiques
Négation, conjonction , disjonction , implication &
équivalence.
Introduction à la logique mathématique CREFOC Radès 2012~2013 10
Négation:
Introduction à la logique mathématique CREFOC Radès 2012~2013 11
Les connecteurs logiques permettent de créer de nouveaux prédicats
(dits prédicats composés) à partir de prédicats P, Q,
Soit P un prédicat. La négation du prédicat P est le prédicat
noté non(P) qui:
 est vrai lorsque P est faux,
 est faux lorsque P est vrai. P Non(P)
V F
F V
Exemples:
• L’assertion P = « 24 est un multiple de 2 » est une assertion
vraie (V). L’assertion non(P) est définie par :
non(P) = « 24 n’est pas un multiple de 2 ».
C’est une assertion fausse (F).
• A partir du prédicat « x ∈ A », on définie le prédicat
non (x ∈ A) = « x /∉ A ».
Par exemple, l’assertion « 1/2 ∉ Z » est vraie car
l’assertion « 1/2 ∈ Z » est fausse.
Introduction à la logique mathématique CREFOC Radès 2012~2013 12
Conjonction:
Soient P et Q deux prédicats. Le prédicat « P et Q », appelé
conjonction de P et de Q, est un prédicat qui:
• est vrai lorsque P et Q sont vrais simultanément,
• est faux dans tous les autres cas.
On résume ceci dans la table de vérité:
On écrit par fois : P⋀Q au lieu de P et Q.
Introduction à la logique mathématique CREFOC Radès 2012~2013 13
P Q P et Q
V V V
F V F
V F F
F F F
Disjonction:
Soient P et Q deux prédicats. Le prédicat « P ou Q »,
appelé disjonction de P et de Q, est un prédicat qui:
• est vrai lorsque l’un au mois des deux prédicat P et Q est
vrais,
• est faux lorsque les deux sont faux.
On résume ceci dans la table de vérité:
On écrit par fois : PQ au lieu de P ou Q.
Introduction à la logique mathématique CREFOC Radès 2012~2013 14
P Q P ou Q
V V V
F V V
V F V
F F F
Exemple:
On en déduit les deux assertions :
Considérons les deux assertions P et Q suivantes :
• P = « 10 est divisible par 2 »,
• Q = « 10 est divisible par 3 ».
L’assertion P est vraie tandis que l’assertion Q est fausse.
• P et Q = « 10 est divisible par 2 et 10 est divisible par 3 »,
• P ou Q = « 10 est divisible par 2 ou 10 est divisible par 3 ».
L’assertion « P et Q » est une assertion fausse. En revanche,
l’assertion « P ou Q » est une assertion vraie.
Introduction à la logique mathématique CREFOC Radès 2012~2013 15
Implication:
Soient P et Q deux prédicats. Le prédicat « P ⇒ Q » appelé implication de P
vers Q est un prédicat qui:
• est faux lorsque P est vrai et Q faux,
• est vrai dans tous les autres cas.
On résume ceci dans la table de vérité :
• On dit que P est une condition suffisante pour Q.
• Q ⇒ P s’appelle l’implication réciproque de P ⇒ Q.
Introduction à la logique mathématique CREFOC Radès 2012~2013 16
P Q P ⟹ Q
V V V
F V V
V F F
F F V
Equivalence:
Soient P et Q deux prédicats. Le prédicat « P  Q » appelé équivalence de
P et de Q est un prédicat qui:
• est vrai lorsque P et Q sont simultanément vrai ou faux,
• est faux dans tous les autres cas.
On résume ceci dans la table de vérité :
• (P ⟹ Q) et (Q ⟹ R) se note: P ⟹ Q ⟹ R.
• (P  Q) et (Q  R) se note: P  Q  R.
Introduction à la logique mathématique CREFOC Radès 2012~2013 17
P Q P  Q
V V V
F V F
V F F
F F V
Propriétés
Équivalence , tautologie , prédicats incompatibles.
Introduction à la logique mathématique CREFOC Radès 2012~2013 18
Équivalences:
Soient R1 et R2 deux prédicats. Si
• R1 est vrai lorsque R2 est vrai
• R1 est faux lorsque R2 est faux
Alors on dit que R1 et R2 sont de même table de vérité ou
qu’ils sont logiquement équivalents, et on note R1 ≡ R2 .
Dans le cas contraire on note: R1 ≢ R2 .
Exemple:
 Soit P un prédicat. Non(non(P))≡P.
 Soit P et Q deux prédicats. P et ( P ou Q) ≡P.
Introduction à la logique mathématique CREFOC Radès 2012~2013 19
Tautologie:
Considérons un prédicat P. Ce prédicat peut prendre la valeur (de
vérité) Vrai ou Faux. Considérons le prédicat composé :
R = « P ou non (P) ».
Ce prédicat est remarquable. En effet, R est toujours vrai et ce
indépendamment de P. Vérifions-le :
Le prédicat composé R est alors qualifié
de tautologie.
Définition:
Un prédicat composé R qui est vrai quelles que soient les valeurs de
vérité des prédicats qui le composent, est appelé une tautologie.
Introduction à la logique mathématique CREFOC Radès 2012~2013 20
P Non P P ou non P
V F V
F V V
Prédicats incompatibles:
Soit P un prédicat. Considérons le prédicat composé :
« P et non (P) ».
Ce prédicat est toujours faux. Vérifions-le :
On dit que les prédicats P et non(P) sont incompatibles.
Définition:
On dit que deux prédicats composés sont incompatibles si leur conjonction est
fausse quelles que soient les valeurs de vérité des prédicats qui les composent.
Introduction à la logique mathématique CREFOC Radès 2012~2013 21
P Non P P et non P
V F F
F V F
Propriétés incontournables:
 Soit P et Q deux prédicats, on a les équivalences logiques
suivantes:
Non(P ou Q) ≡ non(P) et non(Q)
Non(P et Q) ≡ non(P) ou non(Q)
Ce sont les lois de Morgan pour les prédicats.
 Soit P, Q et R trois prédicats, on a aussi les équivalences
suivantes:
P ou ( Q et R) ≡ (P ou Q) et (P ou R)
P et ( Q ou R) ≡ (P et Q) ou (P et R)
Introduction à la logique mathématique CREFOC Radès 2012~2013 22
Propriétés incontournables:
Soit P et Q deux prédicats , on a les les équivalences logiques
suivantes:
1) P ⟹ Q ≡ (non P) ou Q
2) (Non P) ⟹ Q ≡ P et (non Q)
3) P ⟹ Q ≡ (non Q) ⟹(non P)
4) P  Q ≡(P ⟹ Q ) et (Q ⟹ P )
 On dit que Q est une condition nécessaire pour P.
 L’implication: (non Q) ⟹(non P) est appelée la contraposée
de P ⟹ Q .
Introduction à la logique mathématique CREFOC Radès 2012~2013 23
Quantificateurs mathématiques:
Quantificateurs simples, multiples , négations.
Introduction à la logique mathématique CREFOC Radès 2012~2013 24
Les quantificateurs simples:
A partir d’un prédicat P(x) définie sur un ensemble E, on
construit de nouvelles assertions (dites assertions
quantifiées ) en utilisant les quantificateurs « quel que soit »
et « il existe ».
Définition:
Le quantificateur « quel que soit » noté ∀, permet de définir
l’assertion quantifiée « ∀x ∈ E P(x) » qui est vraie si pour
tous les éléments x appartenant à E, l’assertion P(x) est
vraie.
Introduction à la logique mathématique CREFOC Radès 2012~2013 25
Les quantificateurs simples:
Exemples:
• « ∀x ∈ [−3, 1] x²+2x-30 » est vraie.
• « ∀n ∈ℕ (n − 3)n > 0 » est fausse.
• « ∀n ∈ℕ ( n² paire ⟹ n est paire ) » est vraie.
Définition:
Le quantificateur « il existe » noté ∃, permet de définir l’assertion quantifiée
« ∃x ∈ E P(x) » qui est vraie si on peut trouver (au moins) un élément x
appartenant à E tel que l’assertion P(x) soit vraie.
S’il en existe un et un seul, on pourra écrire ∃ ! x ∈ E P(x) et on dira qu’il
existe un unique élément x de E vérifiant P(x).
Introduction à la logique mathématique CREFOC Radès 2012~2013 26
Les quantificateurs simples:
Exemples:
 L’assertion quantifiée: «∃x ∈ ℝ x²=4 » est vraie.
 L’assertion quantifiée: «∃!x ∈ ℝ ln(x)=1 » est vraie.
Si « ∀x ∈ E P(x) » est vraie alors « ∃x ∈ E P(x) » est vraie
ATTENTION On manipulera avec précaution les assertions de
la forme « ∃ ! x ∈ E P(x) » pour lesquelles la notation « ∃ ! » ne
désigne pas un quantificateur (bien qu’elle en ait l’air !)
Introduction à la logique mathématique CREFOC Radès 2012~2013 27
Quantificateurs simples:
En effet, on se convainc facilement de l’équivalence logique :
∃ ! x ∈ E P(x) ≡ R1 et R2
Où les deux assertions R1 et R2 sont définies comme suit:
 R1=« ∃x ∈ E P(x) ».
 R2=«  x∊E  x’∊E ( P(x) et P’(x))⟹ x=x’
L’assertion R1 traduit l’existance d’un élément de E vérifiant
p(x)
L’assertion R2 traduit l’unicité de cet élément.
Introduction à la logique mathématique CREFOC Radès 2012~2013 28
Règle de négation:
Soit P(x) un prédicat sur E. De manière évidente, on a :
Non( x ∊E P(x) ≡  x ∊E non(P(x))
Non( x ∊E P(x) ≡  x ∊E non(P(x))
Exemple:
Soit P(x) un prédicat sur E. On a :
Non( x ∊E P(x)⟹Q(x) ≡  x ∊E (P(x) et non Q(x))
ATTENTION On vérifie aussi que l’on a :
Non( x ∊E P(x) )≡ nonR1 et non R2
Avec existence et unicité
Introduction à la logique mathématique CREFOC Radès 2012~2013 29
Quantificateurs multiple:
Définition:
Soit P(x, y) un prédicat à deux variables avec x ∈ E et y ∈ F.
 L’assertion quantifiée: ∀x ∈ E ∀y ∈ F ; P(x, y) est vraie
lorsque tous les éléments x de E et tous les éléments y de F
vérifiant P(x, y).
 L’assertion quantifiée: ∃x ∈ E ∃y ∈ F P(x, y) est vraie
lorsqu’il existe (au moins) un élément x appartenant à E et
lorsqu’il existe (au moins) un élément y appartenant à F
vérifiant P(x, y).
Introduction à la logique mathématique CREFOC Radès 2012~2013 30
Quantificateurs multiple:
Exemples:
 Soit le prédicat à deux variables avec z ∈ ℂ et n ∈ ℕ :
est vrai.
Alors, l’assertion « ∀z ∈ C ∀n ∈ N P(z, n) » est vraie.
• L’assertion quantifiée: ∀n ∈ ℕ ∀x ∈ ℝ+ 1+nx (1+x)n est vraie
• L’assertion quantifiée: ∃x ∈ R ∃y ∈ R x + y = 5 est vraie.
Introduction à la logique mathématique CREFOC Radès 2012~2013 31
1
0
( , ) 1 (1 )
n
n k
k
P z n z z z

    
Règles d’utilisation:
On peut combiner des quantificateurs de natures différentes
Par exemple, l’énoncé
• « tout nombre complexe possède au moins une racine
carrée » s’écrit sous la forme :∀z ∈ ℂ∃u ∈ ℂ u= z².
Mais, attention, il faut respecter les règles suivantes :
 On peut permuter deux quantificateurs identiques :
∀x ∈ E ∀y ∈ F ; P(x, y)≡ ∀y ∈ F ∀x ∈ E ; P(x, y)
 On peut permuter deux quantificateurs identiques :
x ∈ E ∀y ∈ F ; P(x, y)≢ y ∈ F ∀x ∈ E ; P(x, y)
Introduction à la logique mathématique CREFOC Radès 2012~2013 32
Règles d’utilisation:
 L’assertion quantifiée: «∊ℝ ! x ∊ ℝ+* ln(x)= » est vraie
 L’assertion « ∀x ∈ R ∃y ∈ R x + y = 0 » est vraie. En revanche,
l’assertion « ∃y ∈ R ∀x ∈ R x + y = 0 » est fausse.
 L’assertion quantifiée
« ∀x ∈ R ∃ y ∈ R x  y »
est une assertion vraie puisque si x ∈ R alors, en prenant
y = x + 1 on a : x  x + 1. En revanche l’assertion
« ∃ y ∈ R ∀x ∈ R x  y »
est fausse puisque l’ensemble des réels n’est pas borné.
Introduction à la logique mathématique CREFOC Radès 2012~2013 33
Différents modes de
demonstration
Par hypothèse auxiliaire, par l’absurde ,par contraposée,
par contre-exemple, par récurrence .
Introduction à la logique mathématique CREFOC Radès 2012~2013 34
Raisonnement par hypothèse auxiliaire
 But : montrer qu’un énoncé Q est vrai.
 Principe : il s’appuie sur la tautologie :
(P et ( P⟹Q))⟹ Q
Ainsi, si l’énoncé P est vrai et si l’implication « P ⇒ Q »
est vraie alors l’énoncé Q est nécessairement vrai.
 Méthodologie : on montre que l’énoncé P est vrai.
L’énoncé Q sera alors vrai puisque « P ⇒ Q » est vraie.
 Exemple Considérons les deux ensembles A = {2,−3} et
B = {x ∈ℝ /x²+ x − 6 = 0}. Montrons que : A = B.
Introduction à la logique mathématique CREFOC Radès 2012~2013 35
Raisonnement par l’absurde:
 But : montrer qu’un énoncé P est vrai.
 Principe : il s’appuie sur l’équivalence logique :
(non(P) ⇒ Q) et (non(P)⇒ non(Q)) ≡ P.
Un raisonnement par l’absurde consiste à montrer que non(P)
entraîne un énoncé Q et son contraire non(Q).
 Méthodologie : on suppose l’énoncé non(P) vrai et on cherche
alors Q qui, sous cette hypothèse, serait à la fois vrai et faux.
On dit que l’on a obtenu une contradiction ou que l’hypothèse
est contradictoire
 Exemple: Montrons que 2 ∈ ℚ.
Introduction à la logique mathématique CREFOC Radès 2012~2013 36
Raisonnement par contraposée:
 But : montrer des résultats faisant apparaître une
implication « P ⇒ Q ».
 Principe : il s’appuie sur l’équivalence logique :
P ⇒ Q ≡ non(Q) ⇒ non(P)
Ainsi, au lieu de montrer l’implication « P ⇒ Q », on montre
sa contraposée non(Q) ⇒ non(P).
 Méthodologie : on fait l’hypothèse que non(Q) est vrai et
on montre que cela entraîne que non(P) est vrai.
 Exemple: Montrons que :∀n ∈ ℕ n² impair ⇒ n impair
Introduction à la logique mathématique CREFOC Radès 2012~2013 37
Raisonnement par contre exemple:
 But : il sert à montrer qu’un énoncé de la forme
« ∀x ∈ E P(x) » est un énoncé faux.
 Principe : on montre que sa négation est vraie. Rappel :
Non ∀x ∈ E P(x)≡ ∃ x ∈ E non P(x)
 Méthodologie : on cherche alors à exhiber un élément x ∈ E qui ne vérifie
pas P(x).
 Exemple:Montrons que « ∀x ∈ ℝ ∀> 0|x| <  ⇒ x = 0» est faux.
ATTENTION à ne pas confondre avec l’assertion
∀x ∈ ℝ (∀ > 0 |x|< ⇒ x = 0)
qui est utilisée pour montrer qu’un nombre réel est nul.
Introduction à la logique mathématique CREFOC Radès 2012~2013 38
Raisonnement par récurrence:
 But : montrer qu’un énoncé de la forme:
« Pour tout entier naturel n > n0 P(n) »
est un énoncé vrai. Par exemple,
∀n ∈ ℕ
∀n ∈ ℕ ∀x ∈ ℝ 1 + nx  (1 + x)n
 Principe : Si la propriété P(n0) est vraie et si l’implication
« P(n) ⇒ P(n + 1) » est vraie pour tout entier n  n0
alors la propriété P(n) est vraie pour tout entier n  n0
Introduction à la logique mathématique CREFOC Radès 2012~2013 39
n
3
k=1
n²(n+1)²
k =
4

Raisonnement par récurrence:
• Méthodologie: elle s’effectue ainsi en deux étapes successives.
1. Étape d’initialisation : on commence par vérifier que P(n0)
est vraie.
2. Étape d’hérédité : on montre ensuite que si P(n) est vraie
alors P(n + 1) est vraie.
 Exemple:
Montrons par récurrence que pour tout entier naturel n 0
(1 + 2 + . . . + n)2 = 13 + 23 + . . . + n3.
Introduction à la logique mathématique CREFOC Radès 2012~2013 40
Pour finir:
Attention aux raisonnements hâtifs !
Suivez attentivement chacune des étapes
suivantes :
 Considérons dans ℂ l’équation :
x²=x-1 (1)
 Puisque la valeur nulle ne vérifie pas cette
équation, divisons par x membre à membre.
Après réarrangement des termes, nous
obtenons
(2)
 En regroupant les égalités (1) et (2), nous en
déduisons
(3)
 Finalement, puisque x est non nul, nous
multiplions par x l’égalité (3) pour obtenir
l’équation:
x3 = -1 (4)
dont −1 est de toute évidence une solution.
 Injectons cette solution dans l’égalité (1).
Nous obtenons au final que
1 = −2.
 Donc, fièrement, on écrit : « 2 = -1 » du
Candide
 Bien évidemment, nous avons commis une
erreur dans notre raisonnement. Mais où ?
Introduction à la logique mathématique CREFOC Radès 2012~2013 41
1
- = x-1
x
1
- = x²
x
Annexes:
 Wikipédia.
 INSA de Lyon
 Le site du zéro
Introduction à la logique mathématique CREFOC Radès 2012~2013 42
Introduction à la logique mathématique CREFOC Radès 2012~2013 43

Mais conteúdo relacionado

Mais procurados

recherche operationnelle
recherche operationnelle recherche operationnelle
recherche operationnelle mohamednacim
 
Qu’est ce qu’un projet ERP - Entreprise Resource Planning -
Qu’est ce qu’un  projet ERP - Entreprise Resource Planning -Qu’est ce qu’un  projet ERP - Entreprise Resource Planning -
Qu’est ce qu’un projet ERP - Entreprise Resource Planning -Sanae BEKKAR
 
Intelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheIntelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheMohamed Heny SELMI
 
Introduction à la Logique Formelle (Part 1)
Introduction à la Logique Formelle (Part 1)Introduction à la Logique Formelle (Part 1)
Introduction à la Logique Formelle (Part 1)denischef1
 
Formation python
Formation pythonFormation python
Formation pythonj_lipaz
 
Chapitre 1 - logique ensemble
Chapitre 1 - logique ensembleChapitre 1 - logique ensemble
Chapitre 1 - logique ensembleYoussef Mahtat
 
Cours algo: Les pointeurs
Cours algo: Les pointeursCours algo: Les pointeurs
Cours algo: Les pointeursSana REFAI
 
regression_logistique.pdf
regression_logistique.pdfregression_logistique.pdf
regression_logistique.pdfSidiAbdallah1
 
Chapitre 1 arbres de recherche
Chapitre 1 arbres de rechercheChapitre 1 arbres de recherche
Chapitre 1 arbres de rechercheSana Aroussi
 
Cours langage c
Cours langage cCours langage c
Cours langage ccoursuniv
 
Corrigés exercices langage C
Corrigés exercices langage CCorrigés exercices langage C
Corrigés exercices langage Ccoursuniv
 
Travaux dirigés 1: algorithme & structures de données (corrigés)
Travaux dirigés 1: algorithme & structures de données (corrigés)Travaux dirigés 1: algorithme & structures de données (corrigés)
Travaux dirigés 1: algorithme & structures de données (corrigés)Ines Ouaz
 
Chapitre 2 plus court chemin
Chapitre 2 plus court cheminChapitre 2 plus court chemin
Chapitre 2 plus court cheminSana Aroussi
 
Correction examen-java-avancé-1
Correction examen-java-avancé-1Correction examen-java-avancé-1
Correction examen-java-avancé-1vangogue
 
Limites classiques de toutes les fonctions 4
Limites classiques de toutes les fonctions 4Limites classiques de toutes les fonctions 4
Limites classiques de toutes les fonctions 4ulrich loemba
 
BigData_Chp1: Introduction à la Big Data
BigData_Chp1: Introduction à la Big DataBigData_Chp1: Introduction à la Big Data
BigData_Chp1: Introduction à la Big DataLilia Sfaxi
 
03 Apprentissage statistique
03 Apprentissage statistique03 Apprentissage statistique
03 Apprentissage statistiqueBoris Guarisma
 
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en Education
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en EducationRapport Mini Projet : élaborer un moteur de Recherche spécialisé en Education
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en EducationMohamed Amine Mahmoudi
 

Mais procurados (20)

recherche operationnelle
recherche operationnelle recherche operationnelle
recherche operationnelle
 
Qu’est ce qu’un projet ERP - Entreprise Resource Planning -
Qu’est ce qu’un  projet ERP - Entreprise Resource Planning -Qu’est ce qu’un  projet ERP - Entreprise Resource Planning -
Qu’est ce qu’un projet ERP - Entreprise Resource Planning -
 
Intelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de rechercheIntelligence Artificielle - Algorithmes de recherche
Intelligence Artificielle - Algorithmes de recherche
 
Introduction à la Logique Formelle (Part 1)
Introduction à la Logique Formelle (Part 1)Introduction à la Logique Formelle (Part 1)
Introduction à la Logique Formelle (Part 1)
 
Arbre et algorithme de recherche
Arbre et algorithme de rechercheArbre et algorithme de recherche
Arbre et algorithme de recherche
 
Formation python
Formation pythonFormation python
Formation python
 
Chapitre 1 - logique ensemble
Chapitre 1 - logique ensembleChapitre 1 - logique ensemble
Chapitre 1 - logique ensemble
 
Cours algo: Les pointeurs
Cours algo: Les pointeursCours algo: Les pointeurs
Cours algo: Les pointeurs
 
regression_logistique.pdf
regression_logistique.pdfregression_logistique.pdf
regression_logistique.pdf
 
Chapitre 1 arbres de recherche
Chapitre 1 arbres de rechercheChapitre 1 arbres de recherche
Chapitre 1 arbres de recherche
 
Cours langage c
Cours langage cCours langage c
Cours langage c
 
Corrigés exercices langage C
Corrigés exercices langage CCorrigés exercices langage C
Corrigés exercices langage C
 
Travaux dirigés 1: algorithme & structures de données (corrigés)
Travaux dirigés 1: algorithme & structures de données (corrigés)Travaux dirigés 1: algorithme & structures de données (corrigés)
Travaux dirigés 1: algorithme & structures de données (corrigés)
 
Chapitre 2 plus court chemin
Chapitre 2 plus court cheminChapitre 2 plus court chemin
Chapitre 2 plus court chemin
 
TP C++ : Correction
TP C++ : CorrectionTP C++ : Correction
TP C++ : Correction
 
Correction examen-java-avancé-1
Correction examen-java-avancé-1Correction examen-java-avancé-1
Correction examen-java-avancé-1
 
Limites classiques de toutes les fonctions 4
Limites classiques de toutes les fonctions 4Limites classiques de toutes les fonctions 4
Limites classiques de toutes les fonctions 4
 
BigData_Chp1: Introduction à la Big Data
BigData_Chp1: Introduction à la Big DataBigData_Chp1: Introduction à la Big Data
BigData_Chp1: Introduction à la Big Data
 
03 Apprentissage statistique
03 Apprentissage statistique03 Apprentissage statistique
03 Apprentissage statistique
 
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en Education
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en EducationRapport Mini Projet : élaborer un moteur de Recherche spécialisé en Education
Rapport Mini Projet : élaborer un moteur de Recherche spécialisé en Education
 

Destaque

Integrating Moodle With Enterprise Systems
Integrating Moodle With Enterprise SystemsIntegrating Moodle With Enterprise Systems
Integrating Moodle With Enterprise Systemsmoorejon
 
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...Dominique_Z
 
Présentation de Zenika - Jan 2010
Présentation de Zenika - Jan 2010Présentation de Zenika - Jan 2010
Présentation de Zenika - Jan 2010Stefane Fermigier
 
RN 2008 Moodle Société GRICS
RN 2008 Moodle Société GRICSRN 2008 Moodle Société GRICS
RN 2008 Moodle Société GRICSGeoffroi Garon
 
Telecharger Cours java pour debutant pdf
Telecharger Cours java pour debutant pdfTelecharger Cours java pour debutant pdf
Telecharger Cours java pour debutant pdfwebreaker
 
1.Presentation De Moodle
1.Presentation De Moodle1.Presentation De Moodle
1.Presentation De MoodlePiero_1983
 
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura Wires
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura WiresBuilding IoT Mashups for Industry 4.0 with Eclipse Kura and Kura Wires
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura WiresEclipse Kura
 
Des usages pédagogiques de Moodle, de la classe à l'académie
Des usages pédagogiques de Moodle, de la classe à l'académieDes usages pédagogiques de Moodle, de la classe à l'académie
Des usages pédagogiques de Moodle, de la classe à l'académieDominique_Z
 
Python et son intégration avec Odoo
Python et son intégration avec OdooPython et son intégration avec Odoo
Python et son intégration avec OdooHassan WAHSISS
 
Eclipse Kura Shoot a-pi
Eclipse Kura Shoot a-piEclipse Kura Shoot a-pi
Eclipse Kura Shoot a-piEclipse Kura
 
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES OBJETS ET DE...
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES  OBJETS ET DE...INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES  OBJETS ET DE...
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES OBJETS ET DE...Jawad Jari, Enterprise Architect
 
Le Monde Grec Erick
Le  Monde Grec ErickLe  Monde Grec Erick
Le Monde Grec Ericktribouleto
 
Taurisson A., Pensée mathématique et gestion mentale
Taurisson A., Pensée mathématique et gestion mentaleTaurisson A., Pensée mathématique et gestion mentale
Taurisson A., Pensée mathématique et gestion mentalecortomalese
 
Visualisation de données : les leçons de l'Histoire
Visualisation de données : les leçons de l'HistoireVisualisation de données : les leçons de l'Histoire
Visualisation de données : les leçons de l'HistoireGaëtan Gaborit
 
Introduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El HassaniIntroduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El HassaniShellmates
 
Jérôme et ses amis
Jérôme et ses amisJérôme et ses amis
Jérôme et ses amisjerome_mania
 
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]Antoine Poliakov
 
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transforme
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transformeTechDays 2012 - L’entreprise numérique: l’environnement de travail se transforme
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transformeBenoit HAMET
 

Destaque (20)

Etude de documents - diaporama
Etude de documents - diaporamaEtude de documents - diaporama
Etude de documents - diaporama
 
Integrating Moodle With Enterprise Systems
Integrating Moodle With Enterprise SystemsIntegrating Moodle With Enterprise Systems
Integrating Moodle With Enterprise Systems
 
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...
Moodle intégré à l 'ENT: une expérimentation dans 31 établissements de l'acad...
 
Présentation de Zenika - Jan 2010
Présentation de Zenika - Jan 2010Présentation de Zenika - Jan 2010
Présentation de Zenika - Jan 2010
 
RN 2008 Moodle Société GRICS
RN 2008 Moodle Société GRICSRN 2008 Moodle Société GRICS
RN 2008 Moodle Société GRICS
 
Telecharger Cours java pour debutant pdf
Telecharger Cours java pour debutant pdfTelecharger Cours java pour debutant pdf
Telecharger Cours java pour debutant pdf
 
1.Presentation De Moodle
1.Presentation De Moodle1.Presentation De Moodle
1.Presentation De Moodle
 
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura Wires
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura WiresBuilding IoT Mashups for Industry 4.0 with Eclipse Kura and Kura Wires
Building IoT Mashups for Industry 4.0 with Eclipse Kura and Kura Wires
 
Des usages pédagogiques de Moodle, de la classe à l'académie
Des usages pédagogiques de Moodle, de la classe à l'académieDes usages pédagogiques de Moodle, de la classe à l'académie
Des usages pédagogiques de Moodle, de la classe à l'académie
 
Python et son intégration avec Odoo
Python et son intégration avec OdooPython et son intégration avec Odoo
Python et son intégration avec Odoo
 
Eclipse Kura Shoot a-pi
Eclipse Kura Shoot a-piEclipse Kura Shoot a-pi
Eclipse Kura Shoot a-pi
 
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES OBJETS ET DE...
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES  OBJETS ET DE...INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES  OBJETS ET DE...
INTÉGRATION D\'UN ÉDITEUR CONFORME À SCORM POUR LA CRÉATION DES OBJETS ET DE...
 
Le Monde Grec Erick
Le  Monde Grec ErickLe  Monde Grec Erick
Le Monde Grec Erick
 
Taurisson A., Pensée mathématique et gestion mentale
Taurisson A., Pensée mathématique et gestion mentaleTaurisson A., Pensée mathématique et gestion mentale
Taurisson A., Pensée mathématique et gestion mentale
 
Visualisation de données : les leçons de l'Histoire
Visualisation de données : les leçons de l'HistoireVisualisation de données : les leçons de l'Histoire
Visualisation de données : les leçons de l'Histoire
 
Introduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El HassaniIntroduction à Python - Achraf Kacimi El Hassani
Introduction à Python - Achraf Kacimi El Hassani
 
Jérôme et ses amis
Jérôme et ses amisJérôme et ses amis
Jérôme et ses amis
 
Lavadora BOSCH WAK24268EE
Lavadora BOSCH WAK24268EELavadora BOSCH WAK24268EE
Lavadora BOSCH WAK24268EE
 
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]
Retour d’expérience Big Compute & HPC sur Windows Azure [TechDays 2014]
 
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transforme
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transformeTechDays 2012 - L’entreprise numérique: l’environnement de travail se transforme
TechDays 2012 - L’entreprise numérique: l’environnement de travail se transforme
 

Semelhante a Introduction à la logique mathématique

Semelhante a Introduction à la logique mathématique (12)

Ch logique (1)
Ch logique (1)Ch logique (1)
Ch logique (1)
 
Ch logique cours
Ch logique coursCh logique cours
Ch logique cours
 
Logique séance 3 - Syntaxe et déduction naturelle.pptx
Logique séance 3 - Syntaxe et déduction naturelle.pptxLogique séance 3 - Syntaxe et déduction naturelle.pptx
Logique séance 3 - Syntaxe et déduction naturelle.pptx
 
Cours 1
Cours 1Cours 1
Cours 1
 
02_Propositions (1).pdf
02_Propositions (1).pdf02_Propositions (1).pdf
02_Propositions (1).pdf
 
Chapitre2 vf 2
Chapitre2 vf 2Chapitre2 vf 2
Chapitre2 vf 2
 
Livre math-bac-intern
Livre math-bac-internLivre math-bac-intern
Livre math-bac-intern
 
Lmfi1
Lmfi1Lmfi1
Lmfi1
 
À la chasse aux bugs avec la Laboratoire d'informatique formelle
À la chasse aux bugs avec la Laboratoire d'informatique formelleÀ la chasse aux bugs avec la Laboratoire d'informatique formelle
À la chasse aux bugs avec la Laboratoire d'informatique formelle
 
Chapitre1.pdf
Chapitre1.pdfChapitre1.pdf
Chapitre1.pdf
 
Presentation Exposé
Presentation ExposéPresentation Exposé
Presentation Exposé
 
Ch4
Ch4Ch4
Ch4
 

Mais de Houssem Fitati

Emploi & coéfficients
Emploi & coéfficientsEmploi & coéfficients
Emploi & coéfficientsHoussem Fitati
 
Année scolaire 2014 2015
Année scolaire 2014 2015Année scolaire 2014 2015
Année scolaire 2014 2015Houssem Fitati
 
arithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de Bezoutarithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de BezoutHoussem Fitati
 
Presentation geo gebra
Presentation geo gebraPresentation geo gebra
Presentation geo gebraHoussem Fitati
 

Mais de Houssem Fitati (8)

Emploi & coéfficients
Emploi & coéfficientsEmploi & coéfficients
Emploi & coéfficients
 
Bac
BacBac
Bac
 
Contrôle continu
Contrôle continuContrôle continu
Contrôle continu
 
Année scolaire 2014 2015
Année scolaire 2014 2015Année scolaire 2014 2015
Année scolaire 2014 2015
 
arithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de Bezoutarithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de Bezout
 
Homework3.houssem (1)
Homework3.houssem (1)Homework3.houssem (1)
Homework3.houssem (1)
 
Homework1
Homework1Homework1
Homework1
 
Presentation geo gebra
Presentation geo gebraPresentation geo gebra
Presentation geo gebra
 

Último

Semaine de la Passion de Jésus-Christ.pptx
Semaine de la Passion de Jésus-Christ.pptxSemaine de la Passion de Jésus-Christ.pptx
Semaine de la Passion de Jésus-Christ.pptxMartin M Flynn
 
Exercice de FLE pour enfants sur les transports et les prépositions
Exercice de FLE pour enfants sur les transports et les prépositionsExercice de FLE pour enfants sur les transports et les prépositions
Exercice de FLE pour enfants sur les transports et les prépositionslaetitiachassagne
 
Présentation de lancement de la SAE203 - MMI S2
Présentation de lancement de la SAE203 - MMI S2Présentation de lancement de la SAE203 - MMI S2
Présentation de lancement de la SAE203 - MMI S2JeanLucHusson
 
Planning de la semaine du 25 mars au 2 avril 2024
Planning de la semaine du 25 mars au 2 avril 2024Planning de la semaine du 25 mars au 2 avril 2024
Planning de la semaine du 25 mars au 2 avril 2024frizzole
 
Formation M2i - Femmes entrepreneures : soyez actrices du changement
Formation M2i - Femmes entrepreneures : soyez actrices du changementFormation M2i - Femmes entrepreneures : soyez actrices du changement
Formation M2i - Femmes entrepreneures : soyez actrices du changementM2i Formation
 
Rapport projet de fin d'études licence PFE
Rapport projet de fin d'études licence PFERapport projet de fin d'études licence PFE
Rapport projet de fin d'études licence PFEAhmam Abderrahmane
 
La Projection orthogonale en dessin technique
La Projection orthogonale en dessin techniqueLa Projection orthogonale en dessin technique
La Projection orthogonale en dessin techniquessuser4dbdf2
 

Último (7)

Semaine de la Passion de Jésus-Christ.pptx
Semaine de la Passion de Jésus-Christ.pptxSemaine de la Passion de Jésus-Christ.pptx
Semaine de la Passion de Jésus-Christ.pptx
 
Exercice de FLE pour enfants sur les transports et les prépositions
Exercice de FLE pour enfants sur les transports et les prépositionsExercice de FLE pour enfants sur les transports et les prépositions
Exercice de FLE pour enfants sur les transports et les prépositions
 
Présentation de lancement de la SAE203 - MMI S2
Présentation de lancement de la SAE203 - MMI S2Présentation de lancement de la SAE203 - MMI S2
Présentation de lancement de la SAE203 - MMI S2
 
Planning de la semaine du 25 mars au 2 avril 2024
Planning de la semaine du 25 mars au 2 avril 2024Planning de la semaine du 25 mars au 2 avril 2024
Planning de la semaine du 25 mars au 2 avril 2024
 
Formation M2i - Femmes entrepreneures : soyez actrices du changement
Formation M2i - Femmes entrepreneures : soyez actrices du changementFormation M2i - Femmes entrepreneures : soyez actrices du changement
Formation M2i - Femmes entrepreneures : soyez actrices du changement
 
Rapport projet de fin d'études licence PFE
Rapport projet de fin d'études licence PFERapport projet de fin d'études licence PFE
Rapport projet de fin d'études licence PFE
 
La Projection orthogonale en dessin technique
La Projection orthogonale en dessin techniqueLa Projection orthogonale en dessin technique
La Projection orthogonale en dessin technique
 

Introduction à la logique mathématique

  • 1. Introduction à la logique mathématique Encadré par: Mr Lâaroussi Gary Animé par: Mr Houssem Eddine Fitati Année scolaire 2012 – 2013 CREFOC-Radès
  • 2. Introduction: La logique mathématique, logique formelle ou méta- mathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donnée comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules modélisant les énoncés mathématiques, les dérivations ou démonstrations formelles modélisant les raisonnements mathématiques et les sémantiques ou modèles qui définissent le « sens » des formules (et parfois même des démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats dans les structures permet de leur affecter une valeur de vérité. ( source wikipédia ) Introduction à la logique mathématique CREFOC Radès 2012~2013 2
  • 3. Ça sert à quoi ? Introduction à la logique mathématique CREFOC Radès 2012~2013 3
  • 4. Préambule Un résultat mathématique (ou une proposition) est un énoncé vrai. Suivant son importance, il est qualifié de : • lemme : résultat d’une importance mineure, • théorème : résultat d’une importance majeure. Faire une démonstration (on dit aussi preuve), c’est réaliser un processus qui permet de passer de propositions supposées vraies prises comme hypothèses à une proposition appelée: conclusion et ce en utilisant les règles strictes de logique. Introduction à la logique mathématique CREFOC Radès 2012~2013 4
  • 5. Plan du cours Introduction à la logique mathématique CREFOC Radès 2012~2013 5 • Assertion et prédicat • Propriétés • Les connecteurs logiques • Les quantificateurs mathématiques • Différents modes de démonstration
  • 6. Assertion & prédicat Définitions et exemples Introduction à la logique mathématique CREFOC Radès 2012~2013 6
  • 7. Assertion: • Définition: Une assertion est un énoncé mathématique auquel on peut attribuer la valeur de vérité: vraie (V) ou faux (F) mais jamais les deux à la fois. C’est le principe du tiers-exclu. • Exemple:  L’énoncé « 24 est un multiple de 2 » est vrai (V).  L’énoncé « 19 est un multiple de 2 » est faux (F).  L’énoncé « Tunis est la capitale de la Tunisie » est vrai (V). Introduction à la logique mathématique CREFOC Radès 2012~2013 7
  • 8. Prédicat: • Définition: Un prédicat est un énoncé mathématique contenant des lettres appelées variables tel que quand on remplace chacune de ces variables par un élément donné d’un ensemble, on obtient une assertion. • Exemple: L’énoncé suivant : P(n) = « n est un multiple de 2 » est un prédicat car il devient une assertion quand on donne une valeur à n.  P(10) = « 10 est un multiple de 2 » est une assertion vraie,  P(11) = « 11 est un multiple de 2 » est une assertion fausse. Introduction à la logique mathématique CREFOC Radès 2012~2013 8
  • 9. • Remarque: Une assertion peut s’interpréter comme un prédicat sans variable, c’est-à-dire comme un prédicat toujours vrai ou toujours faux. L’énoncé suivant : P(x, A) = « x ∈ A » est un prédicat à deux variables.  P(1, N) est une assertion vraie,  P( 2, Q) est une assertion fausse. Introduction à la logique mathématique CREFOC Radès 2012~2013 9
  • 10. Les connecteurs logiques Négation, conjonction , disjonction , implication & équivalence. Introduction à la logique mathématique CREFOC Radès 2012~2013 10
  • 11. Négation: Introduction à la logique mathématique CREFOC Radès 2012~2013 11 Les connecteurs logiques permettent de créer de nouveaux prédicats (dits prédicats composés) à partir de prédicats P, Q, Soit P un prédicat. La négation du prédicat P est le prédicat noté non(P) qui:  est vrai lorsque P est faux,  est faux lorsque P est vrai. P Non(P) V F F V
  • 12. Exemples: • L’assertion P = « 24 est un multiple de 2 » est une assertion vraie (V). L’assertion non(P) est définie par : non(P) = « 24 n’est pas un multiple de 2 ». C’est une assertion fausse (F). • A partir du prédicat « x ∈ A », on définie le prédicat non (x ∈ A) = « x /∉ A ». Par exemple, l’assertion « 1/2 ∉ Z » est vraie car l’assertion « 1/2 ∈ Z » est fausse. Introduction à la logique mathématique CREFOC Radès 2012~2013 12
  • 13. Conjonction: Soient P et Q deux prédicats. Le prédicat « P et Q », appelé conjonction de P et de Q, est un prédicat qui: • est vrai lorsque P et Q sont vrais simultanément, • est faux dans tous les autres cas. On résume ceci dans la table de vérité: On écrit par fois : P⋀Q au lieu de P et Q. Introduction à la logique mathématique CREFOC Radès 2012~2013 13 P Q P et Q V V V F V F V F F F F F
  • 14. Disjonction: Soient P et Q deux prédicats. Le prédicat « P ou Q », appelé disjonction de P et de Q, est un prédicat qui: • est vrai lorsque l’un au mois des deux prédicat P et Q est vrais, • est faux lorsque les deux sont faux. On résume ceci dans la table de vérité: On écrit par fois : PQ au lieu de P ou Q. Introduction à la logique mathématique CREFOC Radès 2012~2013 14 P Q P ou Q V V V F V V V F V F F F
  • 15. Exemple: On en déduit les deux assertions : Considérons les deux assertions P et Q suivantes : • P = « 10 est divisible par 2 », • Q = « 10 est divisible par 3 ». L’assertion P est vraie tandis que l’assertion Q est fausse. • P et Q = « 10 est divisible par 2 et 10 est divisible par 3 », • P ou Q = « 10 est divisible par 2 ou 10 est divisible par 3 ». L’assertion « P et Q » est une assertion fausse. En revanche, l’assertion « P ou Q » est une assertion vraie. Introduction à la logique mathématique CREFOC Radès 2012~2013 15
  • 16. Implication: Soient P et Q deux prédicats. Le prédicat « P ⇒ Q » appelé implication de P vers Q est un prédicat qui: • est faux lorsque P est vrai et Q faux, • est vrai dans tous les autres cas. On résume ceci dans la table de vérité : • On dit que P est une condition suffisante pour Q. • Q ⇒ P s’appelle l’implication réciproque de P ⇒ Q. Introduction à la logique mathématique CREFOC Radès 2012~2013 16 P Q P ⟹ Q V V V F V V V F F F F V
  • 17. Equivalence: Soient P et Q deux prédicats. Le prédicat « P  Q » appelé équivalence de P et de Q est un prédicat qui: • est vrai lorsque P et Q sont simultanément vrai ou faux, • est faux dans tous les autres cas. On résume ceci dans la table de vérité : • (P ⟹ Q) et (Q ⟹ R) se note: P ⟹ Q ⟹ R. • (P  Q) et (Q  R) se note: P  Q  R. Introduction à la logique mathématique CREFOC Radès 2012~2013 17 P Q P  Q V V V F V F V F F F F V
  • 18. Propriétés Équivalence , tautologie , prédicats incompatibles. Introduction à la logique mathématique CREFOC Radès 2012~2013 18
  • 19. Équivalences: Soient R1 et R2 deux prédicats. Si • R1 est vrai lorsque R2 est vrai • R1 est faux lorsque R2 est faux Alors on dit que R1 et R2 sont de même table de vérité ou qu’ils sont logiquement équivalents, et on note R1 ≡ R2 . Dans le cas contraire on note: R1 ≢ R2 . Exemple:  Soit P un prédicat. Non(non(P))≡P.  Soit P et Q deux prédicats. P et ( P ou Q) ≡P. Introduction à la logique mathématique CREFOC Radès 2012~2013 19
  • 20. Tautologie: Considérons un prédicat P. Ce prédicat peut prendre la valeur (de vérité) Vrai ou Faux. Considérons le prédicat composé : R = « P ou non (P) ». Ce prédicat est remarquable. En effet, R est toujours vrai et ce indépendamment de P. Vérifions-le : Le prédicat composé R est alors qualifié de tautologie. Définition: Un prédicat composé R qui est vrai quelles que soient les valeurs de vérité des prédicats qui le composent, est appelé une tautologie. Introduction à la logique mathématique CREFOC Radès 2012~2013 20 P Non P P ou non P V F V F V V
  • 21. Prédicats incompatibles: Soit P un prédicat. Considérons le prédicat composé : « P et non (P) ». Ce prédicat est toujours faux. Vérifions-le : On dit que les prédicats P et non(P) sont incompatibles. Définition: On dit que deux prédicats composés sont incompatibles si leur conjonction est fausse quelles que soient les valeurs de vérité des prédicats qui les composent. Introduction à la logique mathématique CREFOC Radès 2012~2013 21 P Non P P et non P V F F F V F
  • 22. Propriétés incontournables:  Soit P et Q deux prédicats, on a les équivalences logiques suivantes: Non(P ou Q) ≡ non(P) et non(Q) Non(P et Q) ≡ non(P) ou non(Q) Ce sont les lois de Morgan pour les prédicats.  Soit P, Q et R trois prédicats, on a aussi les équivalences suivantes: P ou ( Q et R) ≡ (P ou Q) et (P ou R) P et ( Q ou R) ≡ (P et Q) ou (P et R) Introduction à la logique mathématique CREFOC Radès 2012~2013 22
  • 23. Propriétés incontournables: Soit P et Q deux prédicats , on a les les équivalences logiques suivantes: 1) P ⟹ Q ≡ (non P) ou Q 2) (Non P) ⟹ Q ≡ P et (non Q) 3) P ⟹ Q ≡ (non Q) ⟹(non P) 4) P  Q ≡(P ⟹ Q ) et (Q ⟹ P )  On dit que Q est une condition nécessaire pour P.  L’implication: (non Q) ⟹(non P) est appelée la contraposée de P ⟹ Q . Introduction à la logique mathématique CREFOC Radès 2012~2013 23
  • 24. Quantificateurs mathématiques: Quantificateurs simples, multiples , négations. Introduction à la logique mathématique CREFOC Radès 2012~2013 24
  • 25. Les quantificateurs simples: A partir d’un prédicat P(x) définie sur un ensemble E, on construit de nouvelles assertions (dites assertions quantifiées ) en utilisant les quantificateurs « quel que soit » et « il existe ». Définition: Le quantificateur « quel que soit » noté ∀, permet de définir l’assertion quantifiée « ∀x ∈ E P(x) » qui est vraie si pour tous les éléments x appartenant à E, l’assertion P(x) est vraie. Introduction à la logique mathématique CREFOC Radès 2012~2013 25
  • 26. Les quantificateurs simples: Exemples: • « ∀x ∈ [−3, 1] x²+2x-30 » est vraie. • « ∀n ∈ℕ (n − 3)n > 0 » est fausse. • « ∀n ∈ℕ ( n² paire ⟹ n est paire ) » est vraie. Définition: Le quantificateur « il existe » noté ∃, permet de définir l’assertion quantifiée « ∃x ∈ E P(x) » qui est vraie si on peut trouver (au moins) un élément x appartenant à E tel que l’assertion P(x) soit vraie. S’il en existe un et un seul, on pourra écrire ∃ ! x ∈ E P(x) et on dira qu’il existe un unique élément x de E vérifiant P(x). Introduction à la logique mathématique CREFOC Radès 2012~2013 26
  • 27. Les quantificateurs simples: Exemples:  L’assertion quantifiée: «∃x ∈ ℝ x²=4 » est vraie.  L’assertion quantifiée: «∃!x ∈ ℝ ln(x)=1 » est vraie. Si « ∀x ∈ E P(x) » est vraie alors « ∃x ∈ E P(x) » est vraie ATTENTION On manipulera avec précaution les assertions de la forme « ∃ ! x ∈ E P(x) » pour lesquelles la notation « ∃ ! » ne désigne pas un quantificateur (bien qu’elle en ait l’air !) Introduction à la logique mathématique CREFOC Radès 2012~2013 27
  • 28. Quantificateurs simples: En effet, on se convainc facilement de l’équivalence logique : ∃ ! x ∈ E P(x) ≡ R1 et R2 Où les deux assertions R1 et R2 sont définies comme suit:  R1=« ∃x ∈ E P(x) ».  R2=«  x∊E  x’∊E ( P(x) et P’(x))⟹ x=x’ L’assertion R1 traduit l’existance d’un élément de E vérifiant p(x) L’assertion R2 traduit l’unicité de cet élément. Introduction à la logique mathématique CREFOC Radès 2012~2013 28
  • 29. Règle de négation: Soit P(x) un prédicat sur E. De manière évidente, on a : Non( x ∊E P(x) ≡  x ∊E non(P(x)) Non( x ∊E P(x) ≡  x ∊E non(P(x)) Exemple: Soit P(x) un prédicat sur E. On a : Non( x ∊E P(x)⟹Q(x) ≡  x ∊E (P(x) et non Q(x)) ATTENTION On vérifie aussi que l’on a : Non( x ∊E P(x) )≡ nonR1 et non R2 Avec existence et unicité Introduction à la logique mathématique CREFOC Radès 2012~2013 29
  • 30. Quantificateurs multiple: Définition: Soit P(x, y) un prédicat à deux variables avec x ∈ E et y ∈ F.  L’assertion quantifiée: ∀x ∈ E ∀y ∈ F ; P(x, y) est vraie lorsque tous les éléments x de E et tous les éléments y de F vérifiant P(x, y).  L’assertion quantifiée: ∃x ∈ E ∃y ∈ F P(x, y) est vraie lorsqu’il existe (au moins) un élément x appartenant à E et lorsqu’il existe (au moins) un élément y appartenant à F vérifiant P(x, y). Introduction à la logique mathématique CREFOC Radès 2012~2013 30
  • 31. Quantificateurs multiple: Exemples:  Soit le prédicat à deux variables avec z ∈ ℂ et n ∈ ℕ : est vrai. Alors, l’assertion « ∀z ∈ C ∀n ∈ N P(z, n) » est vraie. • L’assertion quantifiée: ∀n ∈ ℕ ∀x ∈ ℝ+ 1+nx (1+x)n est vraie • L’assertion quantifiée: ∃x ∈ R ∃y ∈ R x + y = 5 est vraie. Introduction à la logique mathématique CREFOC Radès 2012~2013 31 1 0 ( , ) 1 (1 ) n n k k P z n z z z      
  • 32. Règles d’utilisation: On peut combiner des quantificateurs de natures différentes Par exemple, l’énoncé • « tout nombre complexe possède au moins une racine carrée » s’écrit sous la forme :∀z ∈ ℂ∃u ∈ ℂ u= z². Mais, attention, il faut respecter les règles suivantes :  On peut permuter deux quantificateurs identiques : ∀x ∈ E ∀y ∈ F ; P(x, y)≡ ∀y ∈ F ∀x ∈ E ; P(x, y)  On peut permuter deux quantificateurs identiques : x ∈ E ∀y ∈ F ; P(x, y)≢ y ∈ F ∀x ∈ E ; P(x, y) Introduction à la logique mathématique CREFOC Radès 2012~2013 32
  • 33. Règles d’utilisation:  L’assertion quantifiée: «∊ℝ ! x ∊ ℝ+* ln(x)= » est vraie  L’assertion « ∀x ∈ R ∃y ∈ R x + y = 0 » est vraie. En revanche, l’assertion « ∃y ∈ R ∀x ∈ R x + y = 0 » est fausse.  L’assertion quantifiée « ∀x ∈ R ∃ y ∈ R x  y » est une assertion vraie puisque si x ∈ R alors, en prenant y = x + 1 on a : x  x + 1. En revanche l’assertion « ∃ y ∈ R ∀x ∈ R x  y » est fausse puisque l’ensemble des réels n’est pas borné. Introduction à la logique mathématique CREFOC Radès 2012~2013 33
  • 34. Différents modes de demonstration Par hypothèse auxiliaire, par l’absurde ,par contraposée, par contre-exemple, par récurrence . Introduction à la logique mathématique CREFOC Radès 2012~2013 34
  • 35. Raisonnement par hypothèse auxiliaire  But : montrer qu’un énoncé Q est vrai.  Principe : il s’appuie sur la tautologie : (P et ( P⟹Q))⟹ Q Ainsi, si l’énoncé P est vrai et si l’implication « P ⇒ Q » est vraie alors l’énoncé Q est nécessairement vrai.  Méthodologie : on montre que l’énoncé P est vrai. L’énoncé Q sera alors vrai puisque « P ⇒ Q » est vraie.  Exemple Considérons les deux ensembles A = {2,−3} et B = {x ∈ℝ /x²+ x − 6 = 0}. Montrons que : A = B. Introduction à la logique mathématique CREFOC Radès 2012~2013 35
  • 36. Raisonnement par l’absurde:  But : montrer qu’un énoncé P est vrai.  Principe : il s’appuie sur l’équivalence logique : (non(P) ⇒ Q) et (non(P)⇒ non(Q)) ≡ P. Un raisonnement par l’absurde consiste à montrer que non(P) entraîne un énoncé Q et son contraire non(Q).  Méthodologie : on suppose l’énoncé non(P) vrai et on cherche alors Q qui, sous cette hypothèse, serait à la fois vrai et faux. On dit que l’on a obtenu une contradiction ou que l’hypothèse est contradictoire  Exemple: Montrons que 2 ∈ ℚ. Introduction à la logique mathématique CREFOC Radès 2012~2013 36
  • 37. Raisonnement par contraposée:  But : montrer des résultats faisant apparaître une implication « P ⇒ Q ».  Principe : il s’appuie sur l’équivalence logique : P ⇒ Q ≡ non(Q) ⇒ non(P) Ainsi, au lieu de montrer l’implication « P ⇒ Q », on montre sa contraposée non(Q) ⇒ non(P).  Méthodologie : on fait l’hypothèse que non(Q) est vrai et on montre que cela entraîne que non(P) est vrai.  Exemple: Montrons que :∀n ∈ ℕ n² impair ⇒ n impair Introduction à la logique mathématique CREFOC Radès 2012~2013 37
  • 38. Raisonnement par contre exemple:  But : il sert à montrer qu’un énoncé de la forme « ∀x ∈ E P(x) » est un énoncé faux.  Principe : on montre que sa négation est vraie. Rappel : Non ∀x ∈ E P(x)≡ ∃ x ∈ E non P(x)  Méthodologie : on cherche alors à exhiber un élément x ∈ E qui ne vérifie pas P(x).  Exemple:Montrons que « ∀x ∈ ℝ ∀> 0|x| <  ⇒ x = 0» est faux. ATTENTION à ne pas confondre avec l’assertion ∀x ∈ ℝ (∀ > 0 |x|< ⇒ x = 0) qui est utilisée pour montrer qu’un nombre réel est nul. Introduction à la logique mathématique CREFOC Radès 2012~2013 38
  • 39. Raisonnement par récurrence:  But : montrer qu’un énoncé de la forme: « Pour tout entier naturel n > n0 P(n) » est un énoncé vrai. Par exemple, ∀n ∈ ℕ ∀n ∈ ℕ ∀x ∈ ℝ 1 + nx  (1 + x)n  Principe : Si la propriété P(n0) est vraie et si l’implication « P(n) ⇒ P(n + 1) » est vraie pour tout entier n  n0 alors la propriété P(n) est vraie pour tout entier n  n0 Introduction à la logique mathématique CREFOC Radès 2012~2013 39 n 3 k=1 n²(n+1)² k = 4 
  • 40. Raisonnement par récurrence: • Méthodologie: elle s’effectue ainsi en deux étapes successives. 1. Étape d’initialisation : on commence par vérifier que P(n0) est vraie. 2. Étape d’hérédité : on montre ensuite que si P(n) est vraie alors P(n + 1) est vraie.  Exemple: Montrons par récurrence que pour tout entier naturel n 0 (1 + 2 + . . . + n)2 = 13 + 23 + . . . + n3. Introduction à la logique mathématique CREFOC Radès 2012~2013 40
  • 41. Pour finir: Attention aux raisonnements hâtifs ! Suivez attentivement chacune des étapes suivantes :  Considérons dans ℂ l’équation : x²=x-1 (1)  Puisque la valeur nulle ne vérifie pas cette équation, divisons par x membre à membre. Après réarrangement des termes, nous obtenons (2)  En regroupant les égalités (1) et (2), nous en déduisons (3)  Finalement, puisque x est non nul, nous multiplions par x l’égalité (3) pour obtenir l’équation: x3 = -1 (4) dont −1 est de toute évidence une solution.  Injectons cette solution dans l’égalité (1). Nous obtenons au final que 1 = −2.  Donc, fièrement, on écrit : « 2 = -1 » du Candide  Bien évidemment, nous avons commis une erreur dans notre raisonnement. Mais où ? Introduction à la logique mathématique CREFOC Radès 2012~2013 41 1 - = x-1 x 1 - = x² x
  • 42. Annexes:  Wikipédia.  INSA de Lyon  Le site du zéro Introduction à la logique mathématique CREFOC Radès 2012~2013 42
  • 43. Introduction à la logique mathématique CREFOC Radès 2012~2013 43