UNIVERSITE GASTON BERGER ANNEE UNIVERSITAIRE 2019/2020

DE SAINT-LOUIS

UFR DE SCIENCES APPLIQUEES

ET DE TECHNOLOGIE

SECTION INFORMATIQUE M. DEMBELE

MASTER SCIENCE ET TECHNOLOGIE 1
MENTION INFORMATIQUE
Systèmes à Base de Connaissances
Fiche de TD

Exercice 3 (Thème 2)
Logique propositionnelle
*Exercice 1 Traduisez en LP0 les énoncés ci-dessous, en proposant vos propres clés. Tant
1. Construire les tablesque
de c’est
vérités de : essayez de conserver au maximum la structure syntaxique
possible,
¬(A Ú B) A Ù (¬B)
d’origine. (A Ù B) Ù C (A Ù B) Ú (B Ù C) Ú (C Ù A)
(¬A) Ú (¬B) (1)ÚPersonne
A B Ú C Ún’a
D ri, ou même souri.
(2) Georges ne viendra que si Albert et Lucienne ne viennent pas.
2. Réécrire les propositions suivantes avec le moins de parenthèses possibles :
(3) Continue comme ça, et tu vas t’en prendre une.
(¬((A) Ù (B)))Ú (C) ((A) Ú (B)) Ù ((C) Ú (B))
(4) Pour jouer au barbu, il faut un jeu de 54 cartes.

*Exercice 2 (5) Fred va au boulot en voiture, ou en RER et en bus.

(6) Une hirondelleavec
On se donne 6 lettres propositionnelles ne fait
les pas le printemps. suivantes :
correspondances
(7) S’il boit du vin, il pleure, ou au contraire il est heureux et il chante.
p: «La musique est triste» q : « La musique est rythmée » r: «Il écoute de la musique»
(8) Vous n’êtes pas sans savoir que votre billet doit être composté.
s: «Il danse» t : « Il baille » u: «Il est joyeux»
(9) Qu’il pleuve ou non, le barbecue sera une réussite.
Traduire en logique propositionnelles
(10) Il n’y a pas les
plusénoncés suivants
d’éléphants : de beurre en broche.
roses que
(1) La musique n’est ni(11) Leni
triste jour où on fera valser les(2)
rythmée. abrutis, tu ne seras
Il ne baille pasestdans
pas, il l’orchestre.
même joyeux.
(12) S’il n’aime pas les gorilles, alors
(3) Quand il écoute de la musique rythmée, il est joyeux et il danse. s’il rencontre King-Kong, il aura la
peur de sa vie.
(4) Il danse, sauf s’il n’est pas joyeux. (5) La musique ne le fait pas danser.
(13) Il n’y a pas de fumée sans feu.
(6) S’il danse en baillant, c’est qu’il n’est pas joyeux.
(14) Qui vole un œuf vole un œuf.
(7) Il écoute de la musique triste sans bailler.
(15) Si tuetne
(8) Ou il écoute de la musique il m’aides
danse, oupasilquand
n’est j’en
pas ai besoin, je ne t’aiderai pas quand tu
joyeux.
en auras besoin.
(9) Il ne suffit pas que la musique soit rythmée pour qu’il danse.
Licence
(10) Il n’aInformatique, semestre
(16) Pas de
pas besoin d’écouter de5bras, pas de chocolat.
la musique pour danser. 2014–15
Eléments de logique pour l’informatique (Info 315) 6 janvier 2015
Exercice 4 (Version)
http://www.lri.fr/
*Exercice 3 ~paulin/Logique
En reprenant les clés de l’exercice 2, traduisez en français (standard) les
En reprenant les correspondances de l’exercice
formules ci-dessous. Ici, il est2,permis,
traduisez en français
et même (standard)
recommandé, les formules
de s’éloigner de ci-
dessous. la traduction Partiel
littérale. - 25 octobre 2012
(1) ((¬u ∨ t) → ¬s) (5) ((r ∨ s) ∧ ¬(r ∧ s))
L’examen dure 2 heures. L’énoncé est composé de 4 pages, le barème est indicatif. Toutes les
(2) (r ∧ ¬q) (6) (r → p)
réponses devront être clairement justifiées. Le seul document autorisé est une page A4 manuscripte
recto-verso. Le tableau(3)
résumant les règles du système G (7)
¬(p → ¬q) est ¬¬t
donné à la fin du sujet.
(4) (s u)
Inscrivez votre nom sur chaque copie et numérotez-la. Ne pas →
↔ (8) (s s)
cacheter les copies !
*Exercice 4
Exercice
Soit 1 Logique
la formule propositionnelle,
propositionnelle A: 4 points. Soit la formule propositionnelle A définie comme

((p ) ¬q) ) ¬p) ^ r

(1) Ecrire la formule
1. Ecrire A sous
la formule formeforme
A sous d’arbre.
d’arbre. (2) Donner la table de vérité de la formule A.
(3) Donner une forme normale conjonctive et une forme normale disjonctive pour la formule A.
2. Donner la table de vérité de la formule A.
(4) Cette formule est-elle valide ? (5) Cette formule est-elle satisfiable ? si oui donner un modèle.
3. Donner une forme normale conjonctive et une forme normale disjonctive pour la formule A.
2
4. Cette formule est-elle valide ? justifier votre réponse. 1
5. Cette formule est-elle satisfiable ? si oui donner un modèle.
Correction :
 *Exercice 5
Mettre sous la forme normale conjonctive et disjonctive les formules suivantes :

*Exercice 6
Trois témoins J, M et R suspects d’un crime.
J dit : « R est coupable et M est innocent »
R dit : « Si J est coupable, M aussi »
M dit : « Je suis innocent et J ou R est coupable »
(1) Les trois témoignages sont-ils compatibles ? (2) L’un des témoignages se déduit-il des autres ?
(3) Si tous sont innocents qui a menti ? (4) Si tous disent la vérité qui est coupable ?
(5) Si seuls les innocents disent la vérité qui est coupable ?

*Exercice 7 Logique
G
des prédicats (LP1) G
Démontrer avec la méthode des séquents les déductions suivantes.
Exercices
p → q, ¬r ⊢ ¬p ∨ q
p → ¬(q ∧ r) ⊢ (p →Logique
¬q) ∨ ¬(p–∧Licence
r) SDL
G
Logique des prédicats
Exercicep →1q, q ⊢ p
Pour chacune des→
(¬p ∨ ¬q) formules
r ⊢ (p →suivantes,
r) ∨ (q →dites
r) :
*Exercice 8
1. s’il s’agit (globalement) d’une négation, d’une conjonction, d’une G disjonction,
Pour chacune des formules suivantes, dites :
d’une implication, d’une formule universelle ou d’une formule existentielle 1 ;
1. s’ilps’agit
∧ q, p(globalement)
→ r ⊢ r ∧ q d’une négation, d’une conjonction, d’une disjonction, d’une implication,
2. quelle est la portéeuniverselle
d’une formule de chaqueouquantificateur
d’une formule ; existentielle;
2.3.quelle
quelles
estsont les occurrences
la portée de variables libres
de chaque quantificateur ; (s’il y en a).
Pour pimenter
3. quelles sontl’exercice, les parenthèses
les occurrences des
de variables
q, ¬r, p ⊢ q
plus
ax libres extérieures
(s’il y enaxa).on été omises : ainsi
¬r, p ⊢ p, q
une formule (Ï æ Â) est écrite Ï æ Â. →g
a. ÷x(Axy · Bx) p → q, f. ¬Bx æ
¬r, p ⊢ q
¬d
(¬’y(¬Axy ‚ Bx) æ Cy)
b. ÷xAxy · Bx p → q, ¬rg.⊢ ¬÷x(Axy
¬p, q ‚ By)
∨d
c. ÷x÷yAxy æ Bx p → q, ¬rh.⊢ ¬p ∨q
¬÷xAxx ‚ ÷yBy
d. ÷x(÷yAxy æ Bx) i. ’x’y((Axy · By) æ ÷zCxz)
ax ax
e. ¬÷x÷yAxy æ Bx
p, r, p, q ⊢ q p, r, p,j.q ⊢’x(’yAyx
r æ By)
∧d
Exercice 2 p, r, p, q ⊢ q ∧ r
*Exercice 9 ¬g ax
On modélise sommairement ¬(qle∧système
r), p, r, p,solaire
q⊢ par le modèle
p, r, p,suivant.
q ⊢ p Le domaine
On modélise sommairement le système solaire par le modèle suivant. → g Le domaine pris en compte
pris en compte contient les neuf planètes et le Soleil.
contient les neuf planètes et le Soleil. p→ On¬(qse donne
∧ r), p, les
r, p,constantes
q⊢ suivantes : s0 : le Soleil, m1 : Mercure,
On se donne les constantes suivantes : s0 : le Soleil, m1 : ∧g Mercure, v : Vénus, t :
v : Vénus, t : la Terre, l : la Lune, m2 Mars, jr),
: Jupiter; s1 : Saturne; u : Uranus; n : Neptune, p : Pluton.
la Cet
Terre, l : représente
ordre la Lune, mla2 Mars, j : Jupiter ; s1 : Saturne ; u : Uranus ; n : Neptune,
p → ¬(q ∧ p ∧ r,
proximité relative par rapport au Soleil
p, q ⊢
¬d (Pluton est la plus éloignée et Mercure
p :laPluton. Cet
plus proche).ordre représente la proximité
p → ¬(q ∧ relative
r), p ∧ r, par
p ⊢ rapport
¬q au Soleil (Pluton
est la plus éloignée et Mercure la plus proche). → d
Voici les tailles relatives des planètes
p → ¬(q : Lune
∧ r), p<∧Mercure
r ⊢ p → ¬q < Mars < Pluton < Vénus < Terre < Neptune
Voici les tailles relatives des planètes : ¬d
Lune < Mercure < Mars < Pluton p → ¬(q < Vénus
∧ r) ⊢ p<→Terre
¬q, ¬(p <∧Neptune
r) < Uranus < 2
∨d
Saturne < Jupiter. p → ¬(q ∧ r) ⊢ (p → ¬q) ∨ ¬(p ∧ r)
– P x : x est une planète (du système solaire) ;
– T x : x tourne autour de la Terre ;
– M xy : x est plus petit (ou aussi
q ⊢grand) que
p, p q, q ⊢yp
< Uranus < Saturne < Jupiter.
Soit les notations suivantes en prédicat :
– P(x) : x est une planète (du système solaire) ;
– T(x) : x tourne autour de la Terre;
– M(x,y) : x est plus petit (ou aussi grand) que y
– S(x,y) : x est plus proche (ou à égale distance) du Soleil que y
Traduire en LP1 :
– Vénus est une planète.
– Le Soleil n’est pas une planète.
– Le Soleil tourne autour de la Terre.
– Certaines planètes sont plus petites que la Terre.
– Toutes les planètes sont plus petites que Saturne.
– Rien n’est plus petit que la Lune.
– Mercure est la planète la plus proche du Soleil.
– Mars est plus loin du Soleil que Pluton.
– Si quelque chose est plus éloigné du Soleil que Pluton, alors ce n’est pas une planète.
– Si le Soleil tourne autours de la Terre, alors il est plus petit que celle-ci.
– S’il n’y a pas de planète plus grande que la Terre, alors la Terre est plus grande que Jupiter.
– La Lune est une planète mais certaines choses ne sont pas des planètes.
– Toutes les planètes ne tournent pas autour de la Terre.
– Aucune planète n’est plus petite que Mercure.
– Il n’y a pas de planète qui soit plus grande que la Terre tout en étant plus proche du Soleil
qu’elle.
– Il existe une planète telle que tout objet plus proche du Soleil qu’elle, est plus petit qu’elle.
– Aucune planète n’est à la fois plus petite qu’Uranus et plus éloignée du Soleil qu’elle.
– Si toutes les planètes tournent autour de la Terre, alors Neptune aussi.

*Exercice 10 (déduction par réfutation)

Soient les assertions suivantes
o Il existe un patient qui aime tous les médecins (G1)
o Aucun patient n’aime un médecin charlatan (G2)
o Donc aucun médecin n’est charlatan (H)
Vocabulaire
P(x) : x est un patient
M(x) : x est un médecin
C(x) : x est un charlatan
A(x, y) : x aime y

Questions
1. Discuter la validité du raisonnement : {G1, G2}╞ H
2. Transformer G1 et G2 en formes normales
Transformer ¬H en formes normales
Chercher une réfutation
Chainage
*Exercice 11
o A(x) ® D(x)
o B(x) Ù C(y) ® E(x, y)
o A(a)

3
o B(b)
o C(a)

1. Effectuer une résolution par chaînage avant

2. Retrouver cette même solution par chaînage arrière