Exercice 1 :

a) « Tous les italiens sont gentils »

p(x) est vrai si X est un italien

q(x) est vrai si X est gentils

(x) p(x)  q(x)

Si X est italien alors x est gentil

b) « Tous dans la classe sont intelligents »

p(x) est vrai si X est dans la classe

q(x) est vrai si X est intelligent

(x) p(x)  q(x)

Si x est dans la classe alors x est intelligent

c) « Quelqu’un dans la classe est intelligent »

p(x) est vrai si X est dans la classe

q(x) est vrai si X est intelligent

(x) p(x) ^ q(x)

Il existe x dans la classe qui est intelligent

d) « Tous les hommes sont intelligents »

p(x) est vrai si X est homme

q(x) est vrai si X est intelligent

(x) p(x)  q(x)

Si x est un homme alors x est intelligent

e) « Toutes les femmes sont intelligentes mais pas les hommes »

p(x) est vrai si X est homme

q(x) est vrai si X est intelligent

r(x) est vrai si x est femme

(x) r(x)  q(x) ^ (x) p(x)  q(x)

Si x est une femme alors x est intelligent et si x est un homme alors x n’est pas intelligent

Exercice 2 :
a) X) (Mange (fifi, X)  Biscuit(X))

b) (X) Aime(X, riz)

- tout le monde aime le Riz

c) ¬(X) ¬Aime(X, riz)

- il n’existe pas quelqu’un qui n’aime pas le Riz

d) (X) Aime(X, orange)

- il y a quelqu’un qui aime les oranges

e) ¬(X) ¬Aime(X, orange)

- ce n’est pas tout le monde qui n’aime pas les oranges

Exercice 3 :
A)

((P  (Q  R))  ((P  S)  R))  ((P  (Q  R))  ((P  S)  R))

 ((P  (Q  R))  ((P  S)  R))

 ((P  (Q  R))  ( (P  S)  R))

 ((P  (Q  R))  ( (P  S)  R))

P   (Q  R)  ( P  S  R )

(P  Q  R)  ( P  S  R )

B)

P Q PQ  (P  Q) P  Q   (P  Q)
1 1 1 0 0
1 0 0 1 0
0 1 0 0 0
0 0 0 0 0

c)

P  Q   (P  Q)  P  Q  P  Q
 Exercice 5 :
1)

(x) V(x) C(x)  (y) (A(x,y)  P(y))

(x) E(x)  V(x)   (y) (A(x,y)  E(y))

(x) E(x) c(x)

2)

(x) E(x)  P(x)

3)

Il faut ajouter la négation  ((x) (E(x)  P(x)))

4)

C3 C6

C8 : C(a)

5)

C1 C4

C9 : C(a)  A(a,f(a))

6)

C8 C9

C10 : A(a,f(a))

7)