COURS 10.

CALCUL DES
PRÉDICATS
(SUITE)
Samuel Descarreaux
sdescarr@uottawa.ca​
 NÉGATIONS ET ÉQUIVALENCES
2

Dualité des quantificateurs logiques:

P : … est présent au cours
x:…

- A: « Tous sont présents au cours » : (x) P(x)

Équivalence : ¬ (x) ¬P(x)
- E: « Aucun n’est présents au cours » : (x) ¬ P(x)
Équivalence : ¬ (x) P(x)
- I: « Quelqu’un est présent au cours » (x) P(x)
Équivalence: ¬(x) ¬ P(x)
- O: « Quelqu’un n’est pas présent au cours » (x) ¬P(x)
Équivalence: ¬ (x) P(x)
 QUELQUES PRÉCISIONS
NÉGATIONS ET ÉQUIVALENCES
A: (Universelle, affirmative)
Tous sont présents au cours
(x) P(x)
I: (Existentielle, affirmative)
Quelques-uns sont présents au cours
(x) P(x)
E: (Universelle, négative)
Aucun n’est présent au cours
Contradictoire
(x) ¬ P(x)
O: (Existentielle, négative)
Certains ne sont pas présents au
Cours.
(x) ¬P(x)
 NÉGATIONS ET ÉQUIVALENCES
4

Dualité des quantificateurs logiques:

P : … est présent au cours
E: … est un étudiant
x:…

- A: « Tous les étudiants sont présents au cours » :

(x) [E(x)  P(x)]
Équivalence : ¬ (x) [E(x)  ¬P(x)]

- E: « Aucun étudiant n’est présents au cours »

(x) [E(x)  ¬ P(x)]
Équivalence : ¬ (x) [E(x)  P(x)]

- I: « Il y a au moins un étudiant qui est présent au cours » :

(x) [E(x)  P(x)]
Équivalence: ¬(x) [E(x)  ¬ P(x)]

- O: « Il y a au moins un étudiant qui n’est pas présent au cours »

(x) [E(x)  ¬P(x)]
 5

EXEMPLES
Fxy: … est l’ami de …
Sxy: … supporte …
Px : … fait partie du gouvernement de Trudeau
d: David
s: Sarah

Aucun ami de David ne supporte quelqu’un qui fait

partie du gouvernement de Trudeau.
(x)[Fxd  ¬(y) (Py  Sxy)
 6

EXEMPLES
Ex. Tous les maires que je connaisse sont ambitieux si et
seulement si aucun d’entre eux n’est sympathique

Ax: … est ambitieux

Sx: … est sympathique
Mx : … est un maire
x:…

(x) (Mx  Ax)  (x)(Mx  ¬ Sx)

ou
 PRÉDICAT D’IDENTITÉ
7

À partir des deux quantificateurs logiques définis

jusqu’à présent, l’expression « Il y a au moins deux
pommes dans le panier » peut être traduit (de
manière redondante) par :
Dxy: … est dans …
Px: … est une pomme
p: panier

(x)(Px  Dxp)  (y)(Py  Dyp)

 PRÉDICAT D’IDENTITÉ
8

« Il y a au moins deux pommes dans le panier » :

Dxy: … est dans …
Ixy: … est identique à …
Px: … est une pomme
p: panier

(x) (y)[(Px  Py)  (Dxp  Dyp)  ¬ Ixy]

 PRÉDICAT D’IDENTITÉ
9

Alternative : utiliser le connecteur = « Il y a au

moins deux pommes dans le panier » peut être
traduit par :
Dxy: … est dans …
Px: … est une pomme
p: panier

(x) (y)[(Px  Py)  (Dxp  Dyp)  ¬x = y]

 PRÉDICAT D’IDENTITÉ
10

Permet aussi de traduire

« Il y a au moins une pomme dans le panier pas
plus »
Dxy: … est dans …
Px: … est une pomme
p: panier

(x)[(Px  Dxp)  (y)(Py  Dyp)  y = x]

 11

EXEMPLES
Soit les prédicats et arguments suivants:
Ax: … est une pomme
Dxy: … est dans …
Px: … est une poire
Rx: … est moisie
p: panier

Traduisez:
1. Il y a seulement une poire dans le panier qui est
moisie
 12

EXEMPLES
Soit les prédicats et arguments suivants:
Ax: … est une pomme
Dxy: … est dans …
Px: … est une poire
Rx: … est moisie
p: panier

1. Il y a seulement une poire dans le panier qui est

moisie
(x)[((Px  Rx)  Dxp)  (y)((Py  Rx)  Dyp)  y =
 13

EXEMPLES
Soit les prédicats et arguments suivants:
Ax: … est une pomme
Dxy: … est dans …
Px: … est une poire
Rx: … est moisie
p: panier

Il y a deux (et seulement deux) poires dans le panier

(x) (y)([(Px  Py)  (Dxp  Dyp)  ¬x = y]  (z)