Exercice 1.

Prenons les propositions suivantes :

P : On obtient 10/10 de l’examen.
q : On fait tous les exercices.
r : On obtient 20/20 de ce cours.
Construire des formules utilisant les propositions p, q, r et des connecteur logiques pour exprimer les
phrases suivantes :
1. On obtient 20/20 de ce cours mais on ne fait pas tous les exercices.
2. Pour obtenir 20/20 de ce cours, il est nécessaire d’obtenir 10/10 de l’examen.
3. Obtenir 10/10 de l’examen et faire tous les exercices est suffisant pour obtenir 20/20 de ce cours.

Exercice 2. Trouver le menteur

Parmi trois garçons Ali, Badr et Chami il y a un qui ment et le reste dit toujours la vérité. On sait que
– Ali dit la vérité si Badr la dit aussi,
– Badr ment si Chami le fait aussi.
Qui est le menteur ? (utiliser les tables de vérités)

Exercice 3 : Exemple de système formel

Soit le système « peu »

alphabet = l'ensemble des trois symboles "p" , "e" , et "u"

p.f.e (procédure de formation d’expression). = concaténation

axiome = upueuu

règles :
R1 : si une expression de la forme AeB est un théorème (où "A" désigne n'importe quelle suite de
"u", de "p", et de "e", et B de même), alors l'expression uAeBu est aussi un théorème

R2 : si une expression de la forme AeB est un théorème, alors l'expression AueuB est aussi un
théorème

Questions
Q1 = uupuueuuuu est-il un théorème?
Q2 = upuueuuuu ?
Q3 = upupueuuu ?

Exercice 4. Transformer les formules ci-dessous en CNF et en DNF. Ensuite pour toute formule
trouver une
instance qui la satisfait et une instance qui la falsifie.

Exercice 5 Prouver des affirmations suivantes (Principe de résolution)

Exercice 6 On suppose que l’on a les règles et faits suivants:

• Si Anass rate son tournoi alors Anass sera déprimé.
• S’il fait beau alors Anass ira à la piscine.
• Si Anass ne va pas à la piscine il sera déprimé.
• A la piscine, Anass ne s’entraîne pas.
• Anass ratera son tournoi s’il ne s’entraîne pas.

- Modéliser l’énoncé à l’aide de formules de la logique propositionnelle.

- Prouver que Anass sera déprimé à l’aide de la résolution.