J-.

"C

Ç,k Institut supérieur Des Arrd Multimédias De Manouba - université De Manouba

Module: Logique Mathématique

1ère awÉe cycle ingénieur

Examen Principal Février 2021

Une grande importance sera attribuée à la clarté des réponses

Exercice 1 (4 points)

Considérons le langage formé par les constantes a et f et les prédicats G et J, les symboles
utilisés ont les sens suivants :
. a:: l'équipe d'Allemagne.
o f :: l'équipe de France.
. J{x,y):: x a joué un match contre y.
. G(x,y) :: x a gagné contre y.

Exprimer en logique de prédicats les assertions suivantes :

1. L'équipe de France a gagné un match et en a perdu un.
2. L'équipe de France et l'équipe d'Allemagne ont fait match nul.
3. Une équipe a gagné tous ses matchs.
4. Aucune équipe n'a perdu tous ses matchs.

Exercice 2 (4 points)

Déterminer si les raisonnements suivants sont logiquement valides :

1 Tous les élèves sont charmants Or Khalil est charmarrt Donc Khalil est un élève.
2. Khalil est un élève Or tous les élèves sont charmants Donc Khalil est charmant.
3. Àucun élève n'est charmant Or Khalil n'est pas charmant Donc Khalil est un élève.
4. Aucun élève n'est charmant Or Khalil est un élève Donc il n'est pas charmant.
Exercice 3 (4 points) :
Prouver la validité des formules suivantes:

1. VxP(x) =r lyP(y).
2. Vx(P(x)nQ(x)) =à VxP(x)A VxQ(x).
3. lx(P(x)vQ(x))
= lxP(x)v lxQ(x).
4. vx(P(x) =+ Q(x))n txP(x) + txQ(x)

Exercice 4 (4points) :

Soit P(x, y) une formalisation de << x est père de y ». Soit A(x, y) une formalisation de << x est
aïeul de y ». Soient les trois formules :

Hl :
Vx3yP(x, y).
H2: VxVyVz(P(x, y)ÂP(y,z) + A(x,z)).
C: Vx3yA(x, y).
 1. Mettre en forme clausale les trois formules HI,I12, et -C.
2. Montrer que C est conséquence de H1 et H2.

Exercice 5 (4points) :

Soit I l'interprétation de domaine D: {0,1} telle que I (P): 0 et I(Q) = 1.

1. Évaluer dans cetüe interprétatioa les formules Vxp(x) et Vx(P(x)VQt"».
2. Dans cette interprétation, les formules VxP(x)v VxQ(x) et Vx(P(x)vQ(x)) sont-elles
équivalentes ? le sont-elles dans le cas général ? Justifier ;
3. Évaluer dans cette interprétation les formules Vx(P(x) + Q(x)) et VxP(x) =+ VxQ(x).
4. Dans cette interprétation, les formules Vx(P(x) + Q(x) et VxP(x) =+ VxQ(x) sont-elles
équivalentes ? le sont-elles dans le cas général ? Justifier
 LIA,<

:r:r U
.., . §rl*f,
 Vtr Ërr)*.ra l C,1& t^t c_to) z€[;.)
àil''.i7b**
fut';rV c1t'

,)

i.----7-s"t{Klk}
lr
!-r t
v,!'
!;-,Æ
îî*
CL :.-\-...........-................
-J
[-{13c,[.r, ?, , e&J

6 eb)q;crx)
frt

Etr<)
liffitu
Ln'ÿ qu'
t"'-r-J;
$' etr)*,

e(erçI*çrl 3

6 3tu-l P{aa)

r*-*-^-4
L
& r- ÿ u [2[x.] n €t*; ) **r {x ?k)n {o§t".

J -!t flx) v:x Aü.

)*a **{?*\ r &r^t)
--à q V,..L*' {
 f 1iq*-I"ü[=tL'fr

'/1?q

r_7_..-?_.....ÿ.....*_-.+.7.1.q.1

-FOtAr'*U\æ

::e;_î.Ë6L)

-:I*âs-.J,,.-É 14:l ft(*-:"* \ :

- vl,{ ":: r-*
"- : 9_:l :.9
 c4I
1o (u,,rx,
ü

tj
ri-

t-

,--afL
drol ,t ,U.-

'....,...........4.....[9-.....:.......
I
Ë
?t -- Vr- f-'=J rA V'6f*)
I

t
h
ll

:ËJ""*ffi;ffi
I
I
t

I ***-*d"'**-'
t

. t/,
:

r
I
t
II
?
alls
tr
I

r
:

=
4ê
\-/ )*1

*_;> r- €,* l v sf*J) _ as

v_
.-
 P-{4 }* (q k -}-
..........@..........'.'-*=re . ./4 {*) -*§l,o
\--

-"
__*_*:'- _.-",.i'; §*"- --" -- " " e,{

J--""*, ,ku**-

.{Ea=-Ei= - É:- --:;È=-