Vous êtes sur la page 1sur 2

Institut Supérieur d’Informatique

Département Génie Logiciel et


Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 2

Objectifs : Formalisation d’énoncés naturels dans le langage de la logique des propositions et


évaluation.

Exercice 1: Evaluation de propositions complexes.


A l’aide de la méthode des tables de vérité, dites si les formules suivantes sont vraies ou fausses pour
l’interprétation selon laquelle p est vrai, q est faux et r est vrai.
(1) (p  q) → r
(2) (p  r)  q
(3) (p → q) → (r → q)
(4) (r  (p  q)) → q
(5) (p → (q  r))  (p → (q  r))
(6) ((q → (p  q))  q) → r

Exercice 2: Formalisation et évaluation de propositions.


Supposons que les chiens aboient et que la caravane passe. Traduisez les propositions suivantes en
langage propositionnel, en conservant le maximum de structure possible, et donnez la valeur de vérité
de ces propositions, en vous aidant des tables de vérité des connecteurs. Vous utiliserez le dictionnaire
suivant :
p : les chiens aboient.
q : la caravane passe.
(1) Si la caravane passe, alors les chiens aboient.
(2) Les chiens n’aboient pas.
(3) La caravane ne passe pas ou les chiens aboient.
(4) Les chiens n’aboient pas et la caravane ne passe pas.

Exercice 3: Recherche d’information

Dites combien de propositions exprime chacune des expressions suivantes, et s’il y en a plusieurs
formulez-les.
(1) Beaucoup plus de gens parlent anglais que moi.
(2) Il pleut.
(3) Que l’argent pousse dans les arbres.
(4) Si tu veux grandir, mange ta soupe.
(5) Paul a loué sa maison.
(6) Si Pierre a fait son travail, il peut se reposer, mais s’il ne l’a pas fait, il ne peut pas.
(7) La plupart des grosses fortunes sont entre les mains d’une seule personne.
(8) Tous les étudiants parlent deux langues.
Institut Supérieur d’Informatique
Département Génie Logiciel et
Systèmes d'Informations
Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
TD série 2

Exercice 4

Formaliser les énoncés naturels suivants dans le langage de la logique des propositions.

1. Réginald ne réussira pas le cours


2. Chantal n'échouera pas au cours
3. Chantal et Paul réussiront le cours
4. Paul réussira le cours seulement s'il n'est pas fatigué
5. Paul réussira le cours à moins qu'il ne soit fatigué
6. Paul ne réussira pas le cours ou bien Chantal le réussira
7. Paul ne réussira pas le cours mais Chantal le réussira
8. Ni Paul, ni Chantal ne réussiront le cours
9. Paul et Chantal ne réussiront pas tous les deux le cours
10. Ou Paul et Chantal réussiront tous les deux le cours ou c'est Réginald
11. Paul réussira le cours, ainsi que Chantal ou Réginald
12. Si Paul réussit le cours alors Chantal aussi, et Paul le réussira
13. Si Paul réussit le cours, alors Chantal et Paul le réussiront tous les deux
14. Paul réussira le cours si Chantal le réussit; autrement ni l'un ni l'autre ne
le réussiront
15. Ou Chantal réussira le cours si et seulement si Réginald l'échoue, ou Paul le réussira s'il étudie avec
méthode et n'est pas fatigué