ENSA de Fès Représentation de la connaissance

Travaux Dirigés 1 – La Logique des Propositions

Exercice 1
On considère un système logique qui est sain (consistant) mais pas complet. Que pensez-vous des deux
affirmations suivantes, prises globalement :
a) Dans ce système, tout théorème est vrai
b) Dans ce système, tout ce qui est vrai n’est pas forcément un théorème
En utilisant les atomes Est_Theoreme et Est_Vrai, donnez la représentation la plus simple possible de cet
ensemble de deux affirmations en logique des propositions.

Exercice 2
On considère les propositions atomiques B, R, C et S représentant respectivement les assertions "Angelina J. est
belle", "Angelina J. est riche", "Angelina J. est célèbre" et "Nous vivons dans une société du paraître"
1. Enoncer des phrases simples qui traduisent chacune des propositions suivantes :
a) B b) B R c) (B v R) d) ( B R ) C
e) C (B R) f) S ( B C ) g) ( (B R) C ) S

2. Quels sont les propositions dans lesquelles les parenthèses sont inutiles ?

Exercice 3
Ali, Hassan, Omar, Karim et Kamal ont été sélectionnés pour les Jeux Olympiques. Ils sont alignés sur un
podium pour recevoir les félicitations du Ministère de sports. On sait que :
- Hassan a le bras cassé ;
- Une blessure a empêché l’un des grands favoris de terminer les jeux ;
- Omar fait de l’équitation ;
- Le spécialiste du saut à la perche boit du café ;
- Le buveur de jus de fruits a eu une insolation1 ;
- Le spécialiste du décathlon a attrapé un rhume ;
- Omar est à la droite de Kamal ;
- Le buveur d’eau a eu une médaille d’or ;
- Karim boit du thé ;
- Celui du milieu fait de l’escrime2 ;
- Le premier à gauche a un cocard3 à l’oeil ;
- Le buveur de lait est à côté de celui qui a fini quatrième ;
- Le buveur de thé est à côté de celui qui a eu une médaille de bronze ;
- Celui qui a un cocard à l’oeil est à côté de Ali ;
Qui fait de la boxe ? Qui a eu une médaille d’or ?

Exercice 4
Traduire dans la logique des propositions les énoncés suivants :
1) S’il pleut et que le soleil brille en même temps, alors il y a un arc en ciel
2) Si le vent d’ouest amène la pluie, on n’a jamais vu qu’un vent d’est soit porteur de pluie.

2ème année Filière Génie Informatique 1/3 2013/2014

ENSA de Fès Représentation de la connaissance

3) Typhon et ouragan sont deux noms différents pour exprimer le même phénomène.

Exercice 5
Représenter dans le formalisme de la logique des propositions les théorèmes de géométrie suivants :
a) Si un triangle est équilatéral alors il est isocèle.
b) Un triangle rectangle n'est jamais équilatéral.
c) Un rectangle est à la fois un parallélogramme et un quadrilatère rectangle.
d) Un losange n'est ni un quadrilatère rectangle ni un triangle.
e) Deux droites coplanaires sont soit sécantes, soit parallèles.
f) Dans l'espace R3, deux droites non sécantes sont parallèles ou non coplanaires.
g) Dans le plan R2, deux droites non sécantes sont parallèles.
h) Deux droites ne peuvent être à la fois sécantes et parallèles.

Exercice 6
Traduire chacune des phrases suivantes en une formule du langage des propositions :
a) Jamais il ne me rencontre sans me dire bonjour.
b) Lorsqu’il ne me dit pas bonjour, c’est qu’il est fâché.
c) Il s’arrange pour ne jamais me rencontrer lorsqu’il est fâché.
d) Ou bien on va se dire bonjour ou bien il est fâché.

Exercice 7
Traduire chacune des phrases suivantes en une formule du langage des propositions :
a) Parler de Nicolas Sarkozy n’est pas la seule solution pour vendre un magazine.
b) Parler de Nicolas Sarkozy et parler de Cecilia Sarkozy, voilà deux façons d’avoir une vente assurée.
c) Ce n'est pas parce que Nicolas Sarkozy a changé d'épouse que sa côte de popularité va augmenter.

Exercice 8
On considère l'ensemble des connaissances suivantes, extraite d'un improbable cours d'école hôtelière.
 Si le client a commandé un plat du jour, on accompagnera le repas d'une carafe d'eau.
 Si le client a demandé un menu plus conséquent, ou a commandé à la carte, on servira obligatoirement
du vin.
 Trois sortes de vins peuvent être servis : du blanc, du rosé ou du rouge.
 Avec de la viande, on servira du vin rouge et du rosé ou du blanc avec le poisson.
Représentez ces informations sous la forme d'un ensemble de formules de la logique des propositions.

Exercice 9
Donnez la traduction en logique des propositions des énoncés suivants :
a) La fin des gisements et la hausse de la consommation chinoise sont deux causes de la cherté du pétrole
b) Ce n’est pas parce que le pétrole sera plus cher que les chinois réduiront leur consommation
c) Il va y avoir des ventes frauduleuses d’essence et le pétrole reste cher.
d) C’est parce que le pétrole est cher que les gens roulent moins vite.
e) Pour que le prix du pétrole baisse, il faut réduire notre consommation ou qu’on utilise les énergies nouvelles

2ème année Filière Génie Informatique 2/3 2013/2014

ENSA de Fès Représentation de la connaissance

Exercice 10
A peine sorti de l'IUP Blois, Alphonse Oboulo se rue sur les annonces d'emploi, persuadé que la qualité de la
formation reçue dans cette université sera immédiatement reconnue par les entreprises les plus prestigieuses.
Effectivement, en réponse à l'une de ses 5 678 candidatures spontanée, Monsieur René Grié, responsable du
service des ressources humaines de la World Company Inc., le convoque pour un entretien décisif. Remonté à
bloc, Alphonse Oboulo, se précipite dans le premier TGV en partance pour Paris, où il est convoqué. En chemin,
il fait le raisonnement suivant (on ne considérera pour cela que les parties en caractères italique) :
(1) En cas de grève, le train sera en retard ou annulé.
(2) Ne pas réussir l'audition et manquer le rendez-vous sont les 2 causes les plus sures de ne pas être embauché.
(3) Compte tenu de la pré-sélection effectuée, réussir à l'entretien est synonyme d'embauche.
(4) Qui dit train en retard dit rendez-vous manqué.
(5) Une chose est sûre, je ne raterai pas l'audition.
(C) Donc, seule une grève peut empêcher mon embauche
Angoissé à l'idée d'avoir son avenir suspendu aux décisions des organisations syndicales, Alphonse Oboulo tente
d'écarter ses idées noires en traduisant en logique des propositions son raisonnement. Saurez-vous l'aider ?

2ème année Filière Génie Informatique 3/3 2013/2014