LOGIQUE DES PROPOSITIONS

SYNTAXE

Dr. Noureddine Chikouche

noureddine.chikouche@univ-msila.dz
https://sites.google.com/view/chikouchenoureddine
PLAN DU COURS

 Les propositions

 Les connecteurs logiques

 Formules propositionnelles

 Substitution dans une formule

 Formules logiques et arbres

INTRODUCTION

 Dans la logique des propositions (aussi appelée «calcul des

propositions» ou «logique propositionnelles»), on utilise seulement
deux types d’objets, les propositions, et les connecteurs.

 La capacité de formalisation de la logique des propositions est

très limités par rapport la logique des prédicats.
INTRODUCTION

 Syntaxe (Rappel):

 Etude des relations formelles entre expressions d'un langage. (La

donnée du vocabulaire, des règles de formation et des axiomes et
règles d'inférence d'un système est appelée syntaxe de ce système.) »

Source: Larousse

La syntaxe définit comment écrire les formules du langage.

LES PROPOSITIONS

 Une proposition (ou assertion) est un énoncé qui peut prendre

une valeur de vérité, vrai ou faut, pas les deux en même temps.

 Un énoncé est une phrase ou expression au quelle on peut

attribuer un sens.
LES PROPOSITIONS

 On exclut les types des phrases suivants:

 Les questions,

 Les impératifs,

 Les exclamatifs,

 On peut en discuter

 Enoncés non assertifs

LES PROPOSITIONS

 Exemples:
 5-2=3
 1+2=7
 Je suis étudiant
 Quelle est votre spécialité?
 Fermez l’application!
 Qu’elle est gentille !
 Le match aura lieu la prochaine semaine
 3+7
LES PROPOSITIONS

 Exemples:
 5-2=3 (c’est une proposition)
 1+2=7 (c’est une proposition)
 Je suis étudiant (c’est une proposition)
 Quelle est votre spécialité? (n’est pas une proposition, question)
 Fermez l’application! (n’est pas une proposition, impératif)
 Qu’elle est gentille ! (n’est pas une proposition, impératif)
 Le match aura lieu la semaine prochaine (n’est pas une proposition, discuter)
 3+7 (n’est pas une proposition, non assertif)
LES PROPOSITIONS

 On représente une proposition par une lettre (P,Q, …).

LES CONNECTEURS LOGIQUES

 Pour modéliser certaines phrases, on besoins d’utiliser des

connecteurs logiques.

 Les connecteurs sont des opérateurs qui permettent, en reliant

deux propositions afin de créer une nouvelle proposition.
LES CONNECTEURS LOGIQUES

 Les connecteurs logiques sont:

 Non (Négation)

 Et logique (Conjonction)

 Ou logique (Disjonction)

 Implication

 Equivalence
LES CONNECTEURS LOGIQUES
NÉGATION

 La négation d’une proposition 𝑃 notée ¬𝑃 non 𝑃 .

 Exemple:

 On note la proposition « Il a envoyé un SMS» par 𝑃.

 «Il n'a pas envoyé un SMS» est la négation de la proposition 𝑃, on la note par
¬𝑃
LES CONNECTEURS LOGIQUES
CONJONCTION

 La conjonction de deux propositions P, Q est notée par P ∧ Q.

 se traduit dans le langage naturel par la phrase «P et Q», « à la fois P

et Q». «P bien que Q », «Non seulement P mais Q », «P tandis que Q ».

 Exemple:

 Si P est la proposition « x <5 » et Q est la proposition « x>0 », alors la

proposition P ∧ Q est « x <5 et x>0 ».
LES CONNECTEURS LOGIQUES
DISJONCTION

 La disjonction de deux propositions P, Q est notée par P ∨ Q.

 se traduit dans le langage naturel par la phrase «P ou bien Q», «P

à moins que Q », «soit P soit Q ».

 Exemple:

 Si P est la proposition « x <5 » et Q est la proposition « x>0 », alors la

proposition P ∨ Q est « x <5 ou bien x>0».
 LES CONNECTEURS LOGIQUES
IMPLICATION
 La proposition «P⇒Q » se lit «P implique Q ».

 Elle correspond à la proposition non P ou Q.

 Elle se lit:

 Si P alors Q,

 Pour que P il faut Q,

 P est une condition suffisante pour Q,

 Q lorsque P.

 P seulement si Q
 LES CONNECTEURS LOGIQUES
IMPLICATION
 Exemple:

 Si le réseau est bien configuré alors la connexion d’Internet est réussite.

 La connexion d’Internet est réussite.

 Le réseau est bien configuré.

 On note la proposition «le réseau est bien configuré» par P et «la

connexion d’Internet est réussite» par Q.

 P⇒Q dénotera la proposition «Si le réseau est bien configuré alors la

connexion d’Internet est réussite ».
LES CONNECTEURS LOGIQUES
ÉQUIVALENCE

 La proposition «P ⇔ Q » se lit:

 « P équivaut à Q »

 ou «P si et seulement si Q »

 ou « 𝑃 est une condition nécessaire et suffisante pour Q »

 Exemple:

 Si P est la proposition « x est un nombre positif »

 Q est la proposition «x>0 »

 alors la proposition P ⇔ Q est «x est un nombre positif si et seulement si x>0

LES CONNECTEURS LOGIQUES
PRIORITÉ DES CONNECTEURS

 Soit la formule suivante: P ∧ Q ∨ R

 Il existe une ambiguïté dans la lecture de cette formule.

 Il existe deux manières de lecture de cette formule: (P ∧ Q) ∨ R

ou P ∧ (Q ∨ R).

 Pour éviter ce problème, soit on utilise les parenthèses ou bien on

agrée les réglés de la priorité des connecteurs.
LES CONNECTEURS LOGIQUES
PRIORITÉ DES CONNECTEURS

 Priorité des connecteurs est présentée selon l’ordre suivant:

¬,∧,∨, ⇒, ⇔

 La négation ( ¬ ) est la plus prioritaire par rapport les autres

connecteurs.

 Les connecteurs associent à gauche,

LES CONNECTEURS LOGIQUES
PRIORITÉ DES CONNECTEURS

 Exemples:

 ¬𝑃 ∨ 𝑄

 𝑃 ⇒ 𝑄∨𝑅

 𝑃∨𝑄∧𝑅

 𝑃 ∨ ¬𝑄 ∧ 𝑅

 P⇒ Q⇒ R
LES CONNECTEURS LOGIQUES
PRIORITÉ DES CONNECTEURS

 Exemples:

 ¬𝑃 ∨ 𝑄 se lite (¬𝑃) ∨ 𝑄

 𝑃 ⇒ 𝑄 ∨ 𝑅 se lit 𝑃 ⇒ (𝑄 ∨ 𝑅)

 𝑃 ∨ 𝑄 ∧ 𝑅 se lit 𝑃 ∨ (𝑄 ∧ 𝑅)

 𝑃 ∨ ¬𝑄 ∧ 𝑅 se lit 𝑃 ∨ ¬𝑄 ∧ 𝑅

 P⇒ Q⇒ R se lit (P⇒ Q)⇒ R

FORMULES PROPOSITIONNELLES

 Une formule propositionnelle est constitué de:

 symboles de proposition P, Q, R...,

 connecteur logique unaire ¬,

 connecteurs binaires ∧,∨, ⇒, ⇔

 parenthèses ( et ).
FORMULES PROPOSITIONNELLES
DÉFINITIONS

La définition des formules propositionnelles est présentée d'une manière inductive

en respectant les règles suivantes:

1. Les variables propositionnelles P,Q,R,… sont des formules propositionnelles,

2. Si A est une formule propositionnelle, alors ¬𝐴 est une formule propositionnelle.

3. Si A et B sont des formules propositionnelles, alors 𝐴 ∧ 𝐵 , 𝐴 ∨ 𝐵 , 𝐴 ⇒ 𝐵 , (𝐴

⇔ 𝐵) sont des formules propositionnelles.

4. Les formules propositionnelles sont définies par les règles 1, 2 et 3.

FORMULES PROPOSITIONNELLES
DÉFINITIONS

 On peut décrire cette définition syntaxiquement par les règles suivantes:

form ::= P(listes-des-Propositions)
| ¬ form | form ∧ form | form ∨ form
| form ⇒ form | form ⇔ form
FORMULES PROPOSITIONNELLES

 On dit qu’une formule propositionnelle est bien formée si elle respecte les
règles d’écriture.

 Comment vérifier une formule?

 Analyse: vérifier les quatre règles.

 Arbre de construction.
FORMULES PROPOSITIONNELLES

 Exemple 1:

Est-ce que les formules ci-après sont biens formées??

 P

 𝑃⇔𝑄

 𝑃¬𝑄 ⇒ 𝑃

 ¬(∧ 𝑄)
FORMULES PROPOSITIONNELLES

 Exemple 1:

 P est une variable propositionnelle, donc est une formule

propositionnelle. (R1)

 𝑃 ⇔ 𝑄 est une formule propositionnelle. (R3)

 (𝑃¬𝑄) ⇒ 𝑃 n’est pas formule propositionnelle (ne respecte pas R4)

 ¬ ∧ 𝑄 n’est pas formule propositionnelle (ne respecte pas R4)

FORMULES PROPOSITIONNELLES
 Exemple 2: 𝑃 ∨ ¬𝑄 ⇒ (¬ 𝑃 ⇔ 𝑄 )

Est-elle formule propositionnelle?

 P et Q sont des variables propositionnelles, (R1)

 𝑅1 = 𝑃 ∨ ¬𝑄 et 𝑅2 = ¬ 𝑃 ⇔ 𝑄 , alors 𝑅1 ⇔ 𝑅2 est une formule (R3)

 On suppose R3 = 𝑃 ⇔ 𝑄 , ¬𝑅3 est formule (R2,R3),

 ¬𝑄 est une formule (R2)

 𝑃 ∨ ¬𝑄 est une formule (R3)

 Alors 𝑃 ∨ ¬𝑄 ⇒ ¬(𝑃 ⇔ 𝑄) est une formule propositionnelle.

FORMULES LOGIQUES ET ARBRES
ARBRE DE CONSTRUCTION
 On peut représenter une formule comme un arbre.

 Les nœuds internes sont les connecteurs logiques,

 Les connecteurs propositionnels (∧,∨, ⇒, ⇔) sont des nœuds binaires,

 La négation (¬) est un nœud unaire,

 Les feuilles de l’arbre sont des formes atomiques.

 Formules atomiques: Une formule est atomique si c’est une variable

propositionnelle ou c’est une valeur Vrais (V) ou Faux (F).
FORMULES LOGIQUES ET ARBRES
ARBRE DE CONSTRUCTION

 La construction de cet arbre est basée sur les règles d’écriture.

 On peut lire cet arbre de bas en haut (composition de la formule)

ou de haut en bas (décomposition de la formule).

 Il existe un seul arbre (unique) pour chaque formule.

FORMULES LOGIQUES ET ARBRES
ARBRE DE CONSTRUCTION
 Exemple: Créer l’arbre de construction de cette formule

𝑃 ∨ ¬𝑄 ⇒ (¬ 𝑃 ⇔ 𝑄 )
FORMULES LOGIQUES ET ARBRES
ARBRE DE CONSTRUCTION

 On dit deux formules sont syntaxiquement égale ( 𝑃 = 𝑄 )si

seulement si ces formules représentées par le même arbre, le
nom des variables propositionnelles peut être diffèrent.

 Exemple:

 𝑝∨𝑞 =a∨𝑏
FORMULES LOGIQUES ET ARBRES
ARBRE DE CONSTRUCTION

 Applications de la représentation arborescente:

 Représenter les formules en machine.

 Raisonner sur les formules.

FORMULES PROPOSITIONNELLES
SOUS-FORMULE

L'ensemble des sous-formules d'une formule A est le plus petit ensemble tel que:

 A est une sous-formule de A.

 Si )¬ B) est une sous-formule de A alors B est une sous-formule de A.

 Si 𝐵 ∧ 𝐶 , 𝐵 ∨ 𝐶 , 𝐵 ⇒ 𝐶 , (𝐵 ⇔ 𝐶) sont des sous-formules de A alors B et C sont

des sous-formules de A.

 À partir de la première formule de l’arbre de construction, on a trouvé des sous-

formules.
FORMULES PROPOSITIONNELLES
SOUS-FORMULE

 Exemple:

 L’ensemble des sous-formules 𝑃 ∨ 𝑄 ⇒ ¬𝑃 est: {𝑃, 𝑄, 𝑃 ∨ 𝑄, ¬𝑃 , (𝑃

SUBSTITUTION DANS UNE FORMULE

 Une substitution associe à une variable propositionnelle p une

formule A .

 Elle est notée [p\A].

 L'application de [p\A] à une formule B , notée (B)[p\A], est le résultat

du remplacement de toutes les occurrences de p dans B par A. [Ref]
SUBSTITUTION DANS UNE FORMULE

 Exemples:

 𝑝 ⇒ 𝑞 𝑝\r = 𝑟 ⇒ 𝑞

 𝑝 ∨ 𝑞 𝑝\q = 𝑞 ∨ 𝑞

 (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑝\¬𝑝 = ¬𝑝 ∨ 𝑞 ⇒ ¬¬𝑝

 (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑝\(𝑝 ∧ 𝑟) = ((𝑝 ∧ 𝑟) ∨ 𝑞) ⇒ ¬(𝑝 ∧ 𝑟) , l’emplacement des

parenthèses est très important.
SUBSTITUTION DANS UNE FORMULE
Substitution simultanée

 On peut généraliser facilement la dernière définition à une

substitution simultanée (B)[p1\A1, …, pn\An,], tels que p1,…, pn sont
toutes des variables différentes.

𝑝1 𝑠𝑖 𝑏 = 𝑎𝑖
 𝑏 𝑝1 \𝑎1 , … , 𝑝𝑛 \𝑎𝑛 =
𝑏 𝑠𝑖 𝑏 𝑛′ 𝑒𝑠𝑡 𝑎𝑢𝑐𝑢𝑛𝑒 𝑑𝑒𝑠 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠𝑎1 , … , 𝑎𝑛
SUBSTITUTION DANS UNE FORMULE

Substitution simultanée

 Exemple:

 = (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑝\¬𝑝, 𝑞\(r ∧ p) ¬𝑝 ∨ (𝑟 ∧ 𝑝) ⇒ ¬¬𝑝

SUBSTITUTION DANS UNE FORMULE

Substitution simultanée

Remarque: le résultats de la substitution simultanément et la substitution

séquentielle sont différentes.

Exemple:

 Cas 1: (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑝\𝑝 ∧ 𝑞, 𝑞\r ∧ p = (𝑝 ∧ 𝑞) ∨ 𝑟 ∧ 𝑝 ⇒ ¬(𝑝 ∧ 𝑞)

 Cas 2:

 (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑝\𝑝 ∧ 𝑞 = ((𝑝 ∧ 𝑞) ∨ 𝑞) ⇒ ¬𝑝(𝑝 ∧ 𝑞)

 (𝑝 ∨ 𝑞) ⇒ ¬𝑝 𝑞\r ∧ p) = ((𝑝 ∧ (r ∧ p)) ∨ (r ∧ p)) ⇒ ¬𝑝(𝑝 ∧ (r ∧ p))

EXERCICE #1

Traduire les phrases suivantes en logique propositionnelle.

1. Il ne pleut pas

2. Il pleut et il ne neige pas

3. S'il pleut alors je prends un parapluie.

4. Je prends un parapluie si seulement s’il pleut.

5. Il pleut ou il neige, mais pas au même moment

6. Il ne pleut pas, donc je ne prends pas le parapluie

EXERCICE #2

Vérifier que les expressions ci-après sont des formules

propositionnelles bien formées en utilisant l’arbre de construction.

 ((𝑝1 ⇔ 𝑝2 ) ∨ 𝑝3 ) ∧ (𝑝2 ∧ 𝑝3 ⇒ 𝑝4 )

 𝑝1 ∧ (𝑝2 = 𝑝3 )