Université de Béjaia Mardi 22/02/2022

Département d'Informatique L2 MI Logique Mathématique

Examen
Exercice 1. (08 pts)
On s'intéresse ici à des formules qui contiennent le connecteur "ou exclusif" noté p ⊕ q . On rappelle que
le "ou exclusif" est déni à partir des connecteurs ∧, ∨ et ¬ par la formule p ⊕ q ≡ (p ∧ ¬q) ∨ (¬p ∧ q).
Dans la suite x,y et z désignent trois variables propositionnelles.
1. Donner la table de vérité de la formule x ⊕ y .
2. Donner une dénition alternative de x ⊕ y qui n'utilise que les connecteurs ⇔ et ¬.
3. Donner les formes normales conjonctive et disjonctive de la formule x ⊕ y ⊕ z .
4. En utilisant les propriétés d'équivalence des connecteurs ∧ et ∨, justier que le connecteur ⊕
est associatif et commutatif.
5. Soit n variables propositionnelles x1 , ..., xn , on considère la formule αn ≡ x1 ⊕ ... ⊕ xn . Montrer
par récurrence sur n que la formule αn est vraie si et seulement si le nombre de variables xi
telles que (V(xi ) = 1) est impair.
6. On cherche maintenant à transformer une formule utilisant les connecteurs propositionnels "clas-
siques" {>, ⊥, ¬, ∧, ∨, ⇒, ⇔}, telles que > est une constante toujours vraie et ⊥ une constante
toujours fausse, en une formule qui utilise uniquement les connecteurs dans l'ensemble {>, ∧, ⊕}
.
(a) En utilisant le résultat de la question 5 (qui peut être admis), dire pour quelles valeurs de
x et de y les formules x ⊕ x, x ⊕ > et x ⊕ y ⊕ (x ∧ y) sont vraies.
(b) Décrire une fonction transf qui étant donnée une formule du calcul propositionnel utilisant
les connecteurs de l'ensemble {>, ⊥, ¬, ∧, ∨, ⇒, ⇔}, calcule une formule propositionnelle
logiquement équivalente qui n'utilise que les connecteurs de l'ensemble {>, ∧, ⊕}.
Exercice 2. (02 pts)
On présente le système d'axiomes de Lukasiewicz composé des trois axiomes suivants :
A1 : α ⇒ (β ⇒ α)
A2 : (α ⇒ (β ⇒ γ)) ⇒ ((α ⇒ β) ⇒ (α ⇒ γ))
A3 : (β ⇒ α) ⇒ (α ⇒ β)
et la règle du Modus Ponens Si ` α et ` α ⇒ β Alors ` β
Montrer que l'on a :
` α ⇒ α;
Exercice 3. (04.50 pts)
On considère le langage du premier ordre formé de 3 prédicats unaires P , I et R, un prédicat binaire
E et un symbole de constante c. Dans le domaine des entiers naturels, on intérprète P (x) par "x est
pair", I(x) par "x est impair", R(x) par "x est premier" et E(x, y) par "x = y ". La constante c = 2.
1. Exprimer par une formule logique chacune des phrases suivantes :
(a) Tous les nombres pairs sauf le nombre 2 ne sont pas premiers.
(b) Tous les nombres premiers sauf le nombre 2 sont impairs.
(c) Certains nombres premiers sont pairs et d'autres sont impairs
2. Exprimer en langage naturel chacune des 3 formules suivantes :
(a) (∃xR(x) ∧ P (x)) ∧ (∃xR(x) ∧ I(x))
(b) ∀x (P (x) ∧ ¬E(x, c) ⇒ R(x))
(c) ∀x (R(x) ∧ ¬E(x, c) ⇒ I(x))
Exercice 4. (05.50 pts)

1. Donner un modèle de l'ensemble Ω : (P et R sont des prédicats, g et f sont des fonctions et b

est une constante)
Ω = {P (x, z) ∧ P (y, z) ⇒ R(x, z); ∀xR(g(x, b), f (x)); ∀x∀y∀zR(g(g(x, y), z), g(x, g(y, z)));
∀x∃yR(g(x, y), b); ∀x∀yR(g(x, y), g(y, x))}
2. Mettre sous forme prénexe la formule suivante :
∀yP (x, y, z) ⇒ ∃zR(x, z) ∨ R(z, y)
3. Mettre sous forme Skolem la formule :
∀y∃x (P (x) ∧ ¬M (x, y) ⇔ ∃zM (z, x))