Devoirs Maison Res_prblm td1 :

Exercice 4 :
F1= PQ
F2= ¬Q
G= ¬P
G est une conséquence logique CL ssi F1 Ù F2 vrai  G est vrai. On démontre ça
Par table de vérité :
P Q F1 = PQ F2 = ¬Q F1 Ù F2 G= ¬P
V V V F F F
V F F V F F
F V V F F V
F F V V V V

Il faut vérifier qu’à chaque fois que F1 Ù F2 est vrai, G doit être vrai, dans ce cas c’est que la
dernière ligne où F1 Ù F2 est vrai, et G l’est aussi.
Alors G est une CL de F1 Ù F2.
Exercice 5 :
P(e) vraie et ("y) (¬D(y) Ú L(e, y)) vraie (*)
("y) (¬Q(y) Ú ¬L(e, y)) vraie (**)
De (*) et (**) on arrive à : ("x) (D(x)  ¬ Q(x))

Raisonnons sur D(y) :

D(y) est faux  ¬D(y) est vrai  (*) est toujours vraie
Selon valeur de L(e,y) on a:
 Si L(e,y) est faux  ¬L(e,y) est vrai (**) est toujours vraie (pour toutes valeurs de
Q(y), D(y)  Q(y) est vraie car D(y) est faux)
 Si L(e,y) est vrai ¬L(e,y) est faux¬Q(y) doit être vrai dans (**)D(y)  ¬Q(y) est
vraie
D(y) est vrai  ¬D(y) est faux  L(e,y) doit être vrai dans (*) ¬L(e,y) est faux ¬Q(y) doit
être vrai dans (**) D(y)  ¬Q(y) est vraie
Donc ("x)(D(x)  ¬ Q(x)) est une CL de (*) et (**), alors elle est une CL de (1) et (2).
Exercice 6
a) - Traduction des assertions sous forme de fbf :
 Soit les prédicats suivants :
- S(x) : pour x est un spécialiste
- M(x) : pour x est malhonnête
- A(x) : pour x achète de voitures d’occasion pour sa famille
« Un spécialiste n’achète pas de voitures d’occasion pour sa famille »
F1 : ($x) (S(x)  ¬A(x))
« Les gens qui achètent des voitures d’occasion pour leur famille sont malhonnêtes »
F2 : ("x) (A(x)  M(x))
« Des malhonnêtes ne sont pas des spécialistes »
F3 : ($x) (M(x)  ¬S(x))
*Soit une interprétation quelconque dans laquelle (F1) Ù (F2) vraie.

(F1) Ù (F2) vraie @ (F1) vraie et (F2) vraie @

(F1) est vrai @ ($x) (S(x)  ¬A(x)) vrai @ il existe une valeur a pour que F1 soit vrai alors
S(a)  ¬A(a) est vrai
@ (¬S(a) Ú ¬A(a)) est vrai @ ¬(S(a) Ù A(a)) vrai @ (S(a) Ù A(a)) faux

(F2) est vrai @ ("x) (A(x)  M(x)) elle est v

Exercice 8 :
E1 = P(x, f(10),x) E2 = P(v, w, g(v))
E1 E2 Substitution s sE1= s E2
P(x, f(10),x) P(v, w, g(v))
P(x, f(10),x) P(x, w, g(v)) v/x P(v/x, …
P(g(v), f(10), g(v)) P(g(v), w, g(v)) x/g(v) P(x/v, x/g(v)…
P(g(v), f(10), g(v)) P(g(v), f(10), g(v)) w/ f(10) P(x/v, x/g(v), w/ f(10))

Alors on a : s = {x/v, x/g(v), w/ f(10)}.