Logique et raisonnement

Cours 3:

Dr. Nesrine AZOUZ ABDELADHIM

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 1 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

∀𝑥 𝑃(𝑥) ∨ 𝑄(𝑥) est la disjunction de ∀𝑥 𝑃(𝑥) 𝑒𝑡 𝑄(𝑥)

càd (∀𝑥 𝑃(𝑥)) ∨ 𝑄(𝑥) Mais pas ∀𝑥 (𝑃(𝑥) ∨ 𝑄(𝑥))

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 2 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Lorsqu'un quantificateur est utilisé sur la variable x, on dit que cette

occurrence de la variable est liée.

Une occurrence d'une variable qui n'est pas liée par un quantificateur ou
un ensemble égal à une valeur particulière est dite libre.

La partie d'une expression logique à laquelle un quantificateur est appliqué

est appelée la portée (le champ) de ce quantificateur.
→ Une variable est libre si elle est en dehors de la portée de tous les
quantificateurs de la formule qui spécifient cette variable.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 3 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Par exemple:
Prenons la formule ∃x(x + y = 1)

• La variable x est liée par la quantification existentielle ∃x,

• La variable y est libre car elle n'est pas liée par un quantificateur et
aucune valeur n'est attribuée à cette variable.

Par conséquent dans la formule: ∃x(x + y = 1)

x est lié, mais y est libre.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 4 08/01/2013
12/10/2021July 16, 2014
 la logique des prédicats

Par exemple:

∃𝑥 𝑃 𝑥 ∧ 𝑄 𝑥 ∨ ∀𝑥 𝑅(𝑥)

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 5 08/01/2013
12/10/2021July 16, 2014
 la logique des prédicats

Par exemple:

∃𝑥 𝑃 𝑥 ∧ 𝑄 𝑥 ∨ ∀𝑥 𝑅(𝑥)

toutes les variables sont liées.

• La portée du premier quantificateur, ∃x, est l'expression 𝑃 𝑥 ∧ 𝑄 𝑥

(car ∃𝑥 s'applique uniquement à 𝑃(𝑥) ∧ 𝑄(𝑥) et non au reste de l'énoncé.)

• De même, la portée du deuxième quantificateur, ∀ x, est l'expression R(x).

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 6 08/01/2013
12/10/2021July 16, 2014
 la logique des prédicats

Par exemple:

∃𝑥 𝑃 𝑥 ∧ 𝑄 𝑥 ∨ ∀𝑥 𝑅(𝑥)

∃𝑥 𝑃 𝑥 ∧ 𝑄 𝑥 ∨ ∀𝑦 𝑅(𝑦)

ATTENTION

la même lettre peut être utilisée pour représenter des variables liées par différents
quantificateurs avec des portées (champs) qui ne se chevauchent pas.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 7 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Par exemple:

𝐴 = ∀𝑋 (∃𝑌 𝑃(𝑋, 𝑌) ∧ 𝑄(𝑋, 𝑍)) ∧ 𝑅(𝑋)

𝐵 = ∀𝑋 ((∃𝑌 𝑄(𝑋, 𝑌)) ∧ 𝑃(𝑋, 𝑌, 𝑍))

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 8 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Par exemple:

𝐴 = ∀𝑋 (∃𝑌 𝑃(𝑋, 𝑌) ∧ 𝑄(𝑋, 𝑍)) ∧ 𝑅(𝑋)

liée liée liée liée liée libre libre

𝐵 = ∀𝑋 ((∃𝑌 𝑄(𝑋, 𝑌)) ∧ 𝑃(𝑋, 𝑌, 𝑍))

liée liée liée liée liée libre libre

Une variable est libre (resp. liée) si au moins une de ses occurrences est
libre (resp. liée)

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 9 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Par exemple:

𝐴 = ∀𝑋 (∃𝑌 𝑃(𝑋, 𝑌) ∧ 𝑄(𝑋, 𝑍)) ∧ 𝑅(𝑋)

liée liée liée liée liée libre libre

𝐵 = ∀𝑋 ((∃𝑌 𝑄(𝑋, 𝑌)) ∧ 𝑃(𝑋, 𝑌, 𝑍))

liée liée liée liée liée libre libre

Variables libres de A = {Z, X} Variables libres de B = {Z, Y}

Variables liées de A = {X, Y} Variables liées de B = {X, Y}

Une formule sans variable libre est dite close ou fermée

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 10 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Par exemple:

𝐴 = ∀𝑋 (∃𝑌 𝑃(𝑋, 𝑌) ∧ 𝑄(𝑋, 𝑍)) ∧ 𝑅(𝑋)

liée liée liée liée liée libre libre

𝐵 = ∀𝑋 ((∃𝑌 𝑄(𝑋, 𝑌)) ∧ 𝑃(𝑋, 𝑌, 𝑍))

liée liée liée liée liée libre libre

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 11 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Langage naturel Expressions logiques

Langage naturel Expressions logiques

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 12 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Exemple:
Traduire l'énoncé suivant « Chaque élève de cette classe a étudié la
logique » à l'aide des prédicats et des quantificateurs.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 13 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Exercice: Notons P(x), Q(x), et R(x) les affirmations suivantes :

– P(x) = « X est un lion»,
– Q(x) = « X est féroce»,
– R(x) = « X boit du café»,
Représenter les affirmations qui suivent à l’aide des quantificateurs, des
connecteurs usuels et P(x), Q(x), et R(x).
« Tous les lions sont féroces »
« Certains lions ne boivent pas de café »
« Certaines créatures féroces ne boivent pas de café »
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 14 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Exercice:

Exprimez l’affirmation suivante, à l’aide des prédicats, de quantificateurs

avec un domaine composé de toutes les personnes et des connecteurs
logiques.

« Si une personne est une femme et est un parent, alors cette personne est
la mère de quelqu'un »

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 15 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

La traduction des formules avec des quantificateurs imbriqués exprimant des

affirmations en français peuvent être assez compliquées.

1. La première étape de la traduction d'une telle formule consiste à écrire ce

que signifient les quantificateurs et les prédicats dans la formule.

2. L'étape suivante consiste à exprimer ce sens dans une phrase plus simple.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 16 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Exemple:

Traduire la formule suivante en français:

∀𝑥(𝐶(𝑥) ∨ ∃𝑦(𝐶(𝑦) ∧ 𝐹(𝑥, 𝑦)))

Avec C(x) est « x a un ordinateur », F(x, y) est « x et y sont amis », et le

domaine pour x et y comprend tous les élèves de votre école.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 17 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

∀𝑥(𝐶(𝑥) ∨ ∃𝑦(𝐶(𝑦) ∧ 𝐹(𝑥, 𝑦)))

Avec C(x) est « x a un ordinateur », F(x, y) est « x et y sont amis », et le

domaine pour x et y comprend tous les élèves de votre école.

Solution : L'énoncé dit que pour chaque élève x de votre école, x a un

ordinateur ou il y a un élève y tel que y a un ordinateur et x et y sont amis.

En d'autres termes, chaque élève de votre école a un ordinateur ou a un ami qui

a un ordinateur.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 18 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats

Exemple:

Traduire la formule suivante en français:

∃x ∀y ∀z ((F (x, y) ∧ F(x, z) ∧ (y ≠ z)) → ¬F(y, z))

Avec F(a, b) est « a et b sont amis », et le domaine pour x, y et z comprend

tous les élèves de votre école.

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 19 08/01/2013
12/10/2021July 16, 2014
 Exercices

Exercice 1: Les formules propositionnelles suivantes sont-elles des tautologies ?

1. (𝑃 ∧ 𝑄) ⇒ 𝑃
2. (𝑃 ∨ 𝑄) ⇒ (𝑃 ∧ 𝑄)
3. (𝑃 ∧ 𝑄) ⇒ (𝑃 ∨ 𝑄)
4. 𝑃 ⇒ (𝑃 ∨ 𝑄)
5. 𝑃 ⇒ ((￢𝑃) ⇒ 𝑃)
6. 𝑃 ⇒ (𝑃 ⇒ 𝑄)
7. 𝑃 ⇒ (𝑃 ⇒ 𝑃)
8. (𝑃 ⇒ 𝑄) ⇒ ((𝑄 ⇒ 𝑅) ⇒ (𝑃 ⇒ 𝑅))

Slim Bechikh
Nesrine AZOUZ ABDELADHIM 20 08/01/2013
12/10/2021July 16, 2014