/

Exercice 6 :

Fe comis[y x)
1) H1 : Crime
↑
(n) >
-
38 ,

H2: Umf y Line (2) a Commis(y x) malhonete(y)

,
>
-

H3 : Un avete(n)- >
malhonite (m)
H4 :
fy malhonate
(y) navite
(y) - > (Ex Mine
(2) a
commie(y x) (
,

#S : In (ine(n)
C :
By malhomete (y) <aritely)
A1 :
Veschine
(2)V(By Commis (y , 1) -
Chine (x2) Vormis (fn(21) 2) ,

He : Var By 1 (Cre(n) a
comisly #) Vaalhoite(y)
,
=>

-Line (x2) Vicommiss 13 U2) ~malhonnetes (23)

,

H3 :
Vay arrete (n) >
-

malhonnete(n) = orrite (24) v malhomete (4)

14 :
Vx5"(malhonnete(x5)"errete (15) ~1
(746 crime (16) "Commis (us 46)
,

=>
malkonnete(ng) varrete(us)"crime (x)) V
commis (us146

Hz : crime (G)

C :
Ty molkonnete (y) -
arrete(y)
-C :

Vymalhonnately) "arrete(y) =>

malhonnetely arrete(2)
Ho = Aretha bug-filml and ,

-ue(ns/Vmalhomek(fu(un)
He Helle Gegen + G(mm))
M =
,

~ arete (t(el ! vewie (nn) vacomistfulne, w)

H= Hyetc(417fn(2n))
malhite (t(ui) va aie(m) vacomis [tr(vn) ,
un)

HaeHochts whie(n)Vacomis(ts(m) un ,

Hestgettt ,
scine (ii)

An = troet Its m = a
43
Exercise7 :

Er Ne fy F2 (F(x
:
, y)nf(y z)) ,
>
-
G(x z) ,

F2 FrJy F(y x)
:

Fz 70x Fy G(y x)
:
,

Fr : ,)
Unfyf2((f(n y) F(n ,
vG (x 2) ,

=> kn Kyv2 F(x y)v7F(y 2)vG(x 2)

<
,
,
,

7 F(m N2)v- F(v2 ,

3) vW(Xn <3)
=>
,
,

Fz :
F(f(xy) mul ,

F :
3xVy16(y x) , = G(nj a) ,

Ea Frette:
Gen f(en) =
, Ma = Mah
-F(M4 n3)vG(f(x))3) , ,

F5 Fettu a)
(2 + f(en)
: =
=
, 3

1F(24 a) ,

FG Feet F :
3 m =
f (na) My ,
=

&3
Liseble est coherent

Exercice 1 :

1) Vm homme(n)- mechant(x)

2) Un mechant (2) => homme (2)

3)Is homme (n) a mechatlar
Fee homme (n) mechat (n)
4) n

5) (In home(n) mechant

(n)
6) Extyhome (x)nfenely) is are
(x y) ,

7/ On Chat (2) = By Chien(1) a comme (2 4) a

,
detestely 2)
,

/On poisson (2/nrequi (n)- * y enfant (y) => gatif (n y ,

9)In oisean(n) n vol(x)

Exercice &
,
n
tout etudiant suit un cou
enseigne par un

mauvais
enseignant.
2) Tout triangle a trois cote les cotes sont differents ,

la somme des longuans de deux de ses cotes

est
plos grande que la longuem du troisieme cote

Exercise 3 .

u)4p) +(y) a) , , P(y x)) ,

K= 1

T 2 24 = =

lanseble de disa cond

4 f (y) yBy
D =
,

pent pas le wifier y + f(y)

on ne can

2) [P(2(6(a) . 2) 2)
, , p(y g(z)(3 , = P

K = N

T2 = =
24
use Resacond Br =h) f(n) 2) 3 ,

- =
by = h(t(z) 2)3 ,

K = L
Tr P = 4 p(k(Gen) ,
2) ,
2 3 P(k(f(n 2) g(2))3
, , ,

P2 42 g(n)) = ,

22 g(x)4 =

2
4y h(f(n) 2)=

g(n)) =
,
,
z =

pri - -P(2(f (n) g(x) , , +(r)) =

P2te - p(h(f(n) y(2)( g(n)
, -

3)4P(a ,
b) p(c x))
, ,

Dr =

La c ,
de

On ne
plut pas
 4)Ep(a ,
f(w) ,
2
,
b) , p(x ,
f(z) ,
a, y)bzP
D =
(a 4 ,

\n a) =

(P(a f (a) , ,
2
, b) , p(a ,
f (2) ,
a, y)3
D = E f(a) ,
f(z))
42 ah
IP(c
=

, fla) a b) p(a, f(a) , , , ,

a
, y13
B = 39 63 ,

Ey b)
b) p(a fal b) 3
=

30(a , +(a) ,
a
, ,
, ,
a
,

Exercice 4. C2
.. -
-
F = (Vm)p(w) >
-
q(n)) Vn(9(2) ,
>
=

r(n))y
et P =
V(p(n)
N r(2)) -
>
-

4
: Exp(x)va(n) >
-
VM-p(n)vq(n)) p(nn(va(n) >x
=

4 :
Eng(x)vr(n) - Fr2a(yvr(me) 29(n2)vr(va) +

(p(x)vr(n)
fnt >
-
>xp(x)ar(n)
3
7
3
> P(a)n7r(a)
3
-

Cz - p(a) ③ :

Cu : 1
(a)
⑤ (1 039(a) =

⑥ er (Ma a )r(a) =

④ et44
donc 4 F3FP
Exercic5 :
FNC

xVnA(m) >
-

ByB(y)
VxzA(x)vfyB(y)
VxzA(n )v7x2BLM2)
N
.

VxA(n) ~B(f(un))
-A(n)
-
vB(f(x))
1

2)Vn(A(n)vB(x)) -((x)
Vx7(A(n) vB (n))vC(n)
For [A(n)n -
B(M))v((x)
Vm(A(x)v((n))n(tB(n)v((n))
L d d 1

[A(r)v((m)) n(1B(n)v((x))
I
M 1 M

eA(nVC(an)
-B(n))v((n1)
-A(m)v((nn)
-B(n))v((22)