UMBB / FS / Département d’Informatique

Matière : Logique Mathématique Filière : L2 Informatique

Année Universitaire : 2022/2023 Enseignant responsable: S.Djeddai

SERIE D'EXERCICES N°1

Syntaxe et sémantique de la logique propositionnelle

Exercice 1
• Donner les tables de vérité des énoncés p∨p, p∧p, p∨0 et p∨1.
• Donner la table de vérité du « ou exclusif ».

Exercice 2
Déterminer si les énoncés suivants sont des formules bien formées du calcul propositionnel. Pour
toute formule bien formée construisez l'arbre syntaxique correspondant.
1) ¬¬¬p
2) (p ∧ (q ∧ r) (*)
3) ((p3 → p3) → p3)
4) ¬(p)
5) ((p → q) ∨ (p ← q))(*)
6) ¬(p ↔ (q ∧ r))(*)
7) (p ¬→ r)
8) r ∨(p¬(∧(q) ) →¬r)) ;(*)

Exercice 3
Considérer les formules du calcul propositionnel suivantes :
F1 = p ∧(r ∧ ((¬q) )→ ¬p)) ;(*)
F2= ((q ∨¬p) →(¬¬q ∨¬p)) ∧ ((¬¬q ∨¬p) ) →(¬p ∨ q)).
Pour chaque formule :
1. Dessiner son arbre syntaxique ;
2. énumérer ses sous-formules ;
3. énumérer les connecteurs ayant au moins une occurrence dans F1 et F2.

Exercice 4(*)
Donner la forme propositionnelle des phrases suivantes :
1. Elle est jolie et gentille
2. Il est habile mais pas intelligent.
3. Il doit travailler dur, sinon il échoue
4. Il n'a pas écrit la lettre ou il l'a perdue.
5. La somme de deux nombres est pair si les deux nombres sont pair ou les deux
nombres sont impairs.

Exercice 5 :
Déterminez, en utilisant la table de vérité, si les formules suivantes sont des tautologies, des
contradictions ou des formules contingentes.
1) (¬p → (q ∧ p))(*)
2) ((p ∧ q) ∨ r)
3) (p ↔ (q ∧ p))(*)
4) ¬(p → ¬q)
5) ((p → q) → (q → p))
6) ((p ∨ ¬q) → r)
Exercice 6
Soit p, q, r des propositions. Dans les cas suivants , les proposions citées sont-elles équivalentes
l'une à l'autre ? Qu'en déduisez-vous ?
1. (p → q) ; ( ¬p∨ q )
2. (p∧q ) ; ¬(p →¬q) (*)
3. (p↔ q) ; ((p → q) ∧ (q→p))

Exercice 7 (*)
Il existe à l'UMBB un club d'informatique qui obéit aux règles suivantes :
1. tout membre qui n'habite pas à Alger porte des lunettes,
2. les membres inscrits en spécialité SI ne prennent pas de café,
3. un membre prends du café si et seulement si il habite Alger,
4. tout membre qui prend le train habite Alger et est inscrit en spécialité SI,
5. tout membre qui porte des lunettes prend le train,
6. tout membre qui habite Alger prend le train.
Les règles de ce club concernent donc un membre éventuel du club, appelons le x.
1. On vous demande d’abord de modéliser cet énoncé en logique propositionnelle, c’est à dire de
transformer chaque règle en une formule qui utilise les atomes suivants :
– a : x habite Alger,
– c : x prends du café
– l : x porte des lunettes,
– s : x est inscrit en spécialité SI,
– t : x prend le train.
2. Montrez que les règles de ce club sont si contraignantes et qu’il ne peut accepter aucun
membre. (question à traiter en série 5)

Exercice 8 (Devoir à domicile)

Un homme qui semble avoir perdu la tête déclare dans un café :
1. Le jour où je ne bois pas de café et où je dors, je ne suis pas content.
2. Le jour où je bois du café, je ne suis pas content et je dors.
3. Le jour où je ne mange pas, ou bien je ne suis pas content, ou bien je dors ou les deux.
4. Le jour où je mange, ou bien je suis content, ou bien je bois du café ou les deux.
5. Aujourd’hui, je suis content.
a) Traduisez les énoncés suivants en formules de la logique des propositions (on donnera à chaque
fois l’interprétation des propositions utilisées).
b) On considère que toutes les affirmations précédentes sont vraies.
Aujourd'hui, l'homme a t-il bu du café ? A t-il mangé ? A t-il dormi ? Justifiez vos réponses.

Exercice 9
Vérifier que les formules suivantes sont des tautologies en utilisant la table de vérité

1) p ∨ ¬p (principe du tiers exclu)

2) ¬(p ∧ ¬p) (principe de non-contradiction)
3) (p ∨ q) → (q ∨ p) (commutativité de ∨)
4) p → (q → p) (le vrai est impliqué par tout)
4) ¬p →(p →q) (le faux implique tout)
5) (¬p →p) → p (preuve par l’absurde)
6) ((¬p → q) ∧ (¬p→ ¬q)) → p (preuve par l’absurde)
7) ((p →q) ∧ (q → r) →(p →r) (transitivité de →)