Logique F o r m e l l e

TD2. Calcul des Predicats

Exercice
Transcrire dans un langage du calcul des predicats les phrases suivantes.
(a) Tousles hommes sont mechants.
(b) Seulement les hommes sont mechants.
(c) Il existe un homme mechant.
·(d) Il existe un homme qui n'est pas mechant,
(e) Exactement les hommes sont mechants.
(f) Il existe un homme qui aime toutes les femmes.
(g) Chaque chat connait un chien qui le deteste.
(h) Tousles poissons sauf les requins sont gentils avec les hommes.
(i) Chaque personne aime quelqu'un et personne n'aime tout le monde, ou quelqu'un
aime tout le monde et quelqu'un naime personne.

Exercice 2

Transcrire dans un langage du calcul des predicats les phrases suivantes (utiliser un langage
egalitaire).
(a) Tout clochard transporte au moins une puce.
(b) Il y a un clochard transportant au moins deux puces.
(c) Il y a un clochard transportant exactement deux puces
(d) II y a un clochard transportant au plus deux puces.

..