UMBB / FS / Département d’Informatique

Matière : Logique Mathématique Groupes : 1ere année Ing. Informatique

Année Universitaire : 2022/2023 Enseignants : M. Mezghiche - S.Djeddai

SERIE D'EXERCICES N°2

Forme Normale Conjonctive et Notion de conséquence logique

Exercice 1
Donner la forme normale conjonctive des formules :
1. (a → (b → c)) → (b → (a → c)) (*)
2. (¬a → (a → b)) ∨ c
3. a ∧ b → c∨ d
4. a ∧ b ↔ c (*)
5. ¬(a ∨ b ∨ c) (*)
6. p∧q∧ r → p∨q(*)
7. p ∨ q → r ∨ s
8. ¬(p ∧ q ∧ r)
9. (p → q) ∧ (q → r) → p → r (*)
10. (p ↔( q ∨ r ) ) → ¬q → p ∨ r

Exercice 2
Une association est régie par le règlement intérieur suivant :
Art.1 Les membres de la direction financière doivent être choisis parmi ceux de la direction générale.
Art.2 Nul ne peut être à la fois membre de la direction générale et de la direction de la bibliothèque
s'il n'est pas membre de la direction financière.
Art.3 Aucun membre de la direction de la bibliothèque ne peut être membre de la direction financière.
On désigne par f,g,b les propositions atomiques « être membre de la direction financière [resp.
générale], [resp. de la bibliothèque] ».
(a) Écrire sous forme de clauses l'ensemble des 3 articles du règlement.
(b) Montrer que l'ensemble précédent est logiquement équivalent à l'ensemble
des deux propositions suivantes { f→g, g→¬b}.
(c) Rédiger un règlement équivalent plus simple.

Exercice 3 (*)
On considère les formules
A = (x ↔z) ∧ y
B = (y ↔z) → x
1. Mettre les formules A et ¬B en forme clausale.
2. Montrer que la formule B est conséquence logique de A.

Exercice 4 (*)
Voici les examens de fin de semestre qui arrivent ! Comme d'habitude, Ibrahim a passé ses vacances
de printemps à se reposer. Il avait bien emmené quelques cours à réviser pour se donner bonne
conscience, mais il n'a pas fait le plus petit effort. Et une fois de plus, il va falloir trouver une
solution pour s'en sortir. Ibrahim fait alors le raisonnement suivant :

(a) Un étudiant malade ne peut passer son examen.

(b) Si je mange au fast-food du coin, ce midi, je risque une intoxication alimentaire et serai très
certainement malade.
(c) Je vais aller manger au fast-food du coin, ce midi.
--------------------------------------------------------------------
(d) Donc, c'est sûr, je ne passerai pas cet examen!
Ibrahim s'interroge sur la validité de son raisonnement : ce serait tout de même stupide de risquer sa
vie pour rien... Malheureusement, il n'a précisément pas révisé son cours de logique mathématique.
Sauriez-vous conseiller notre étudiant fainéant en utilisant les outils proposés par la logique des
propositions?

Exercice 5 (Devoir à domicile)

1. Soient les formules : A1= p∨q , A2= p→ r , A3 = q→ r∨s et F= r∨s∨ t
F est-elle une conséquence logique de l'ensemble {A1, A2, A3} ? Justifiez votre réponse.