Ecole Nationale Supérieure Polytechnique de Maroua UNIVERSITE DE MAROUA

Département d’Informatique et Télécommunications 12 Mai 2022

SEC/DSC/RTE/GLO 336 Dr Kaladzavi G./D. A. Samalna

CONTROLE CONTINU : Logiques Formelles – Durée : 2h

Aucun document n’est autorisé, à part les papiers vierges de composition !

EXERCICE 1 : La lecture est une donnée floue /7pts

1. Pourquoi les ingénieurs s’insurgent très souvent contre la logique floue? 1pt
2. Que conclure sur la formule suivante en utilisant la table de vérité ?
( ∧ ) ∨ ∨ (¬ ∧ ¬ ) ∨ (¬ ∧ ¬ ) 2pts
3. La formule A est valide si et seulement si ¬ est insatisfiable. Vrai ou Faux ? 1pt
4. Formuler pour chaque concept suivant une phrase en relation : lexicalement incorrect,
lexicalement correct, pragmatiquement incorrect, pragmatiquement correct. 2pts
5. Que signifie vérifonctionnalité ? 1pt

EXERCICE 2 : Les formules logiques /6pts

On se place sur un langage avec une constante je (la personne qui parle) et trois relations binaires:
- ami(x; y) si x est l’ami de y
- ennemi(x; y) si x est l’ennemi de y (x est mon ennemi correspond donc à la formule
ennemi(x; je))
- x = y si x et y sont égaux
1. Traduire en français les formules suivantes :
(a) ∀ , ¬ ( , )⇒ ( , ) 1pt
(b) ∃ , ∃ , ¬ ( , ) 1pt
(c) ∀ , ∃ , ( , ) 1pt
2. Donner les formules logiques qui correspondent aux énoncés suivants :
(a) Les ennemis de mes amis sont mes ennemis. 1pt
(b) On ne peut être à la fois ami et ennemi. 1pt
(c) J’ai un seul ami. 1pt

EXERCICE 3 : Logiques des prédicats /7pts

1. Appliquer l’algorithme d’unification sur les ensembles fini E d’équations entre termes
suivantes:
(a) { ( ) = ( ), = ( )} 1pt
(b) { = ( ), ( ) = , = } 1pt
2. Mettre la formule suivante sous la forme normale de Skolem: ∀ ∃ ( , ). 1pt
3. Mettre la formule suivante en forme normale prénexe: ∃ ( ( ) ⇒ ∀ ( )) 2pts
4. Soit la formule = (( ∧ ) ∨ (¬ ∨ )) ⇒ ( ⇒ )
(a) Mettez F sous la forme normale disjonctive. 1pt
(b) Mettez F sous la forme normale conjonctive. 1pt