ESP SN.

Module IA2

Travaux dirigs du chapitre 2

Exercice 1 : Dcrire la preuve logique dune solution permettant de dcider si le voyageur doit tre tax ou non.

Proposition 1 2 3 4 5 6 7 8 9 cognac <-1-litre adulte cognac <-1-litre petite-quantit p q adulte pete-quantit hors-taxe p q cognac <-1-litre

Justification Prmisse Prmisse Prmisse Prmisse Prmisse IE 12 MP 6 4 IE 3 7 MP 5 8

p
petite-quantit adulte pete-quantit

p
hors-taxe

ESP SN. Module IA2 Exercice 2 : Dcrire la preuve logique de la solution Jacques est grand-pre de Charles .

Proposition 1 2 3 4 5 pre (Jacques, Pierre) pre (Pierre, Charles) pre (Jacques, Pierre) pre (Pierre, Charles) grandpre (Jacques, Charles) pre (Jacques, Pierre) pre (Pierre, Charles) grand-pre (Jacques, Charles)

Justification Prmisse Prmisse Prmisse IE 1 2 MP 4 3