ATTIASafa LM C1

Université Mohamed El Bachir El Ibrahimi, Bordj Bou Arréridj
Faculté des Mathématiques & d’Informatique

Département d’Informatique
Intitulé du module
Logique Mathématique (LM)

ATTIA Safa
attiasafa@gmail.com
Licence 2 Informatique
2020 / 2021
1
Attia Safa (UBBA) Logique Mathématique (LM) attiasafa@gmail.com
Contenu du module
 Chapitre I  Chapitre III
 I. Notion de base de la LM  III. Théorie de la preuve (démonstration)
I.1. Introduction III.1. Introduction
I.2. Définition d’une assertion III.2. Système axiomatique de Hilbert
I.3. Connecteurs III.3. Résolution de Robinson
I.4. Propriétés III.4. Conclusion
I.5. Conclusion
 Chapitre VI
 Chapitre II  VI. Logique des prédicats (Ordre 1)
 II. Logique propositionnelle (Ordre 0) VI.1. Introduction
II.1. Introduction VI.2. Définitions
II.2. Syntaxe (Formalisation) VI.3. Théorie des modèles
II.3. Sémantique VI.4. Conclusion
II.4. Conclusion
2
Attia Safa (UBBA) Etat d’avancement
Logique Mathématique (LM) 07 Juin 2016
attiasafa@gmail.com 2/11
Objectifs du module
 Connaitre les principaux opérateurs, quantificateurs universels et leurs propriétés.

 Comprendre les notions d’implication et d’équivalence.
 Modélise un énoncé afin de tester sa validité.
 Appliquer toutes ces notions à la démonstration mathématique.
 Structurer proprement un raisonnement.
 Tester ses connaissances à travers des exemples et exercices corrigés.
3
Attia Safa (UBBA) Etat d’avancement
Logique Mathématique (LM) attiasafa@gmail.com
Chapitre I
Notions de base de la LM
ATTIA Safa
attiasafa@gmail.com
Licence 2 Informatique
4
I.1 Introduction
 La logique est la base fondamentale de tous les raisonnements mathématiques. Elle est
très importante pour l'énonciation de propositions et l'étude de leur valeur de vérité.
 Dans ce premier chapitre, nous introduirons les bases de la branche des mathématiques
appelée logique. Nous présenterons en particulier la définition d’une proposition, des
différents connecteurs logiques ainsi que ses propriétés.
 Ce chapitre prévoit les notions apparaissant dans le chapitre suivant.
5
I.2 Assertion (Proposition)
 Une proposition est un énoncé déclaratif auquel on attribue l’une des deux valeurs : vrai
(V) ou faux (F).
Exemples :
- L’assertion « 5+4 = 9 » est vraie

- L’assertion « 2 est un nombre impair » est fausse
 Les propriétés et les théorèmes sont des assertions vraies.
6
I.3 Connecteurs
 Il existent cinq connecteurs logiques, à la base de tout raisonnement mathématique.

Soient P et Q deux assertions.
- La négation « non » ou « ˥ »
- La conjonction « et » ou « ∧ »
- La disjonction « ou » ou « ∨ »
- L’implication « ⇒ »
- L’équivalence « ⇔ »
7
I.3 Connecteurs
I.3.1 La négation « non » ou « ˥ » Exp: Si P est x=0, ¬P est x <> 0
Nous appellerons la négation de P, l’assertion P ˥P

(non P) et qui sera notée sous forme formalisée ˥ P.
Table de vérité de la négation V F

Soit la proposition P (voir la table 1.1). La négation
d’une proposition P (vraie) est une proposition F V
fausse. Si P (fausse) alors ˥ P est vraie.
Table I.1. Table de vérité de la négation
- Une double négation est considérée comme une
affirmation : ˥ P ˥ P = ˥ ˥ P = P
8
I.3 Connecteurs
I.3.2 La conjonction « et » ou « ∧ »
P Q P∧Q
Nous appellerons la conjonction de P et Q,
l’assertion (P et Q) et qui sera notée P ∧ Q.
V V V
Table de vérité de la conjonction V F F
F V F
Le résultat de la conjonction est démontré par la
table de vérité 1.2. F F F
Commutativité : (P et Q) ⇔ (Q et P) Table I.2. Table de vérité de la conjonction
9
I.3 Connecteurs
I.3.3 La disjonction « ou » ou « ∨ »
P Q P∨Q
Nous appellerons la disjonction de P et Q,
l’assertion (P et Q) et qui sera notée P ∨ Q.
V V V
Table de vérité de la disjonction V F V
F V V
Le résultat de la disjonction est démontré par la
table de vérité 1.3. F F F
Commutativité : (P ou Q) ⇔ (Q ou P) Table I.3. Table de vérité de la conjonction
10
I.3 Connecteurs
I.3.4 L’implication « ⇒ »
La proposition notée « P ⇒ Q », correspond à P Q P⇒Q

la proposition (¬ P ∨ Q ) et qui se peut lire :
- Si P alors Q V V V
- Pour que P il faut Q
- Pour que Q il suffit P V F F
- P est une condition suffisante pour Q F V V
- Q est une condition nécessaire de P.
F F V
Table de vérité de l’implication
Table I.4. Table de vérité de l’implication
Le résultat de l’implication est démontré par la

table de vérité 1.4.
11
I.3 Connecteurs
I.3.5 L’équivalence « ⇔ »
Deux assertions sont logiquement équivalentes si P Q P⇔Q

elles ont la même valeur de vérité et seront notée :
P⇔Q . V V V
P⇔Q correspond à la proposition (P ⇒ Q) ∧ (Q ⇒ P).
Nous pourrons l’exprimer comme suit : V F F
- P est équivalent à Q F V F
- Pour P, il faut et il suffit Q
F F V
- P est une condition nécessaire et suffisante pour Q
- P si et seulement si Q.
Table I.5. Table de vérité de l’équivalence
Le résultat de l’équivalence est démontré par la

table de vérité 1.5.
12
I.4 Propriétés
 Règle de double-négation :
˥˥A≡A
 Règle de commutativité :
A∧B≡B∧A / A∨B≡B∨A / A⇔B≡B⇔A
 Règle de distribution :
A ∧ (B ∨ C) ≡ (A ∧ B ) ∨ (A ∧ C) / A ∨ (B ∧ C) ≡ (A ∨ B ) ∧ (A ∨ C)
 Règle d’associativité :
A ∧ (B ∧ C) ≡ (A ∧ B) ∧ C / A ∨ (B ∨ C) ≡ (A ∨ B) ∨ C
 Règle d’idempotence :
AvA≡A / A∧A≡A
 A ∨ B ≡ ˥A ⇒ B
 A⇒B≡˥A∨B
 (A ∧ B) ≡ ˥ ˥ (A ∧ B) ≡ ˥(˥ A ∨ ˥ B) ≡ ˥( A ⇒ ˥ B)
 (A ⇔ B) ≡ (A ⇒ B ) ∧ (B ⇒ A)
13
I.4 Propriétés
 Lois de Morgan: e Morgan
Les lois de Morgan permettent de transformer une conjonction en une disjonction (et
réciproquement) via la négation:
- ˥ (A ∧ B) ≡ ˥ A ∨ ˥ B
- ˥ (A ∨ B) ≡ ˥ A ∧ ˥ B A B A ∧ (A ∨ B) A ∨ (A ∧ B)
V V V V
 A ∧ (A ∨ B) ≡ A ∨ (A ∧ B) ≡ A V F V V
(équivalence remarquable F V F F
à vérifier avec sa TV) F F F F
Exemple : A ∧ (A ∨ B) ⇒ C ∨ (C ∧ D)
A ⇒ C (Formule simplifiée)
14
I.5 Conclusion
Dans ce chapitre, nous avons présenté les notions de base de la

logique mathématique qui vont nous servir dans la logique
propositionnelle.
Nous aborderons dans le prochain chapitre la logique d'ordre 0.
15

ATTIASafa LM C1

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

ATTIASafa LM C1

Transféré par

Droits d'auteur :

Formats disponibles

Université Mohamed El Bachir El Ibrahimi, Bordj Bou Arréridj

Faculté des Mathématiques & d’Informatique

Logique Mathématique (LM)

 Connaitre les principaux opérateurs, quantificateurs universels et leurs propriétés.

 Ce chapitre prévoit les notions apparaissant dans le chapitre suivant.

- L’assertion « 5+4 = 9 » est vraie

 Les propriétés et les théorèmes sont des assertions vraies.

 Il existent cinq connecteurs logiques, à la base de tout raisonnement mathématique.

I.3.1 La négation « non » ou « ˥ » Exp: Si P est x=0, ¬P est x <> 0

Nous appellerons la négation de P, l’assertion P ˥P

Table de vérité de la négation V F

Commutativité : (P et Q) ⇔ (Q et P) Table I.2. Table de vérité de la conjonction

Commutativité : (P ou Q) ⇔ (Q ou P) Table I.3. Table de vérité de la conjonction

La proposition notée « P ⇒ Q », correspond à P Q P⇒Q

Le résultat de l’implication est démontré par la

Deux assertions sont logiquement équivalentes si P Q P⇔Q

Le résultat de l’équivalence est démontré par la

Dans ce chapitre, nous avons présenté les notions de base de la

Nous aborderons dans le prochain chapitre la logique d'ordre 0.

Vous aimerez peut-être aussi