Faculté de Mathématiques Année 2015-2016

2 Licence Math Logique Mathématique

Examen final
13 J anvier 2016 - Durée 1h30

Exercice 1 (4 points)
Soit ϕ la formule propositionnelle suivante : ¬q ∧ ¬ (p ⇒ q) ⇒ p ∧ ((q ⇒ p) ∧ (r ⇒ p))
(1) Donner la structure de ϕ sous forme d’arbre syntaxique.
(2) ϕ est-elle une tautologie ?
(3) Donner la forme normale disjonctive de ϕ. En déduire la forme normale conjonctive de ϕ.

Exercice 2 (4 points)
(1) Montrer en utilisant les transformations booléennes que, (p ∨ (p ∧ q)) ⇔ p est une tautologie.
(2) puisque (p ∨ (p ∧ q)) ⇔ p est une tautologie, p ∨ (p ∧ q) est équivalent à p. Transformer p ∨ (p ∧ q)
en p.
(3) En utilisant (2) montrer que p est équivalent à (p ∨ q) ∧ (p ∨ ¬q) .

Exercice 3 (6 points)
Supposons que quelqu’un prétende avoir inventé un connecteur ternaire d’identité, c’est-à-dire un connecteur
à trois places, appelons le ⊗, tel que
(I) : (⊗pqr) est vrai si p, q et r sont tous les trois vrais ou tous les trois faux.
(II) : (⊗pqr) est faux dans tous les autres cas.
(1) En vous inspirant de sa table de vérité, donnez une forme normale disjonctive équivalente à (⊗pqr) .
(2) Montrer par transformations booléennes que (⊗pqr) est équivalent à

(p ⇒ (q ∧ r)) ∧ (r ⇒ (p ∧ q)) ∧ (q ⇒ (r ∧ p))

(3) Que peut-on conclure à propos des connecteurs ternaires en général ?

Exercice 4 (6 points)
(1) Démontrer la formule suivante par déduction naturelle : (p ∨ q) ∧ (p ⇒ r) ⇒ q ∨ r
(2) Soient les hypothèses :

(H1 ) : Si Ali est grand, alors Kamel n’est pas le fils de Ali.
(H2 ) : Si Ali n’est pas grand, alors Kamel est le fils de Ali.
(H3 ) : Si Kamel est le fils de Ali alors Sarah est la sœur de Kamel.

Formaliser et démontrer qu’on peut en déduire la conclusion (C) : ”Sarah est la sœur de Kamel ou Ali est
grand” par déduction naturelle.