ISET Sousse

Mastère GLDRA – M1
Paradigmes de Programmation

TD1 – Paradigme Logique

Exercice 1

Pour chacun des points suivants, trouver des exemples de propositions pour P et Q :

a) P⟹Q est vrai et Q⟹P est vrai.

b) P⟹Q est faux et Q⟹P est vrai.
c) P⟹Q est faux et Q⟹P est faux.

Voici deux exemples de propositions pour 1.

 P = « X est un entier pair » et Q = « Le reste de la division de X par 2 est égal à 0 ».
 P = « le triangle ABC est rectangle en A » et Q = « [AB]2+[AC]2= [BC]2 ».

Exercice 2

Soient P et Q deux propositions.

Montrer, de deux manières différentes, que les propositions ￢ (P⟹Q) et ￢Q ∧ P sont équivalentes.
 Méthode 1 : en utilisant leurs tables de vérité.
 Méthode 2 : en trouvant l’une des propositions à partir de l’autre.

Exercice 3

Prouver les équivalences suivantes :

a) (P ⇒ (Q ⇒ R)) ⇔ ((P ∧ Q) ⇒ R)
b) ￢((￢P ∨ ￢Q) ⇒ (Q ⇒ ￢P)) ⇔(￢P ∨ ￢Q) ∧ P ∧ Q

Exercice 4

Pour chacune des propositions suivantes, dire si elle est vraie ou fausse tout en justifiant votre
réponse.

a) 136 est un multiple de 17 et 2 divise 167.

b) 136 est un multiple de 17 ou 2 divise 167.
c) ∃x∈R, (x+1=0 et x+2=0).
d) (∃x∈R, x+1=0) et (∃x∈R, x+2=0).
e) ∃a∈R, ∀ε>0, |a|<ε.

1
Naoufel KHAYATI 2022-2023
Exercice 5

Ecrire à l'aide de quantificateurs ∀ et ∃ les propositions suivantes :

a) Le carré de tout réel est positif.

b) Certains réels sont strictement supérieurs à leur carré.
c) Aucun entier n'est supérieur à tous les autres.
d) Etant donné trois réels, il y en a au moins deux de même signe.

Exercice 6

Pour chacune des formules ci-dessous, montrer qu'elle est toujours vraie (tautologie), toujours
fausse (antilogie) ou uniquement valide dans certaines interprétations (formule satisfiable).

a) ￢ ((P ⇒Q) ∨ (Q ⇒P))

b) Q ∨ P
c) (P ⇒Q) ⇒ (P ⇒ Q)
d) (￢P ⇒ ￢Q) ⇒ (Q ⇒ P)
e) (P ⇒ Q) ⇒ (¬Q ⇒ ¬P)

Exercice 7

1. Donnez les arbres de construction de ces deux formules bien formées F1 et F2.

F1 : ∀x P(x) ⇒ ∃y ￢Q(y, x)
F2 : ∃x ( ∀y R(f(y), a) ∧ ( ∃z R(x, z) ⇒ S(x) ) )

2. Dire pour chacune des variables x, y et z dans la formule F2, si elle est libre ou liée tout en
justifiant votre réponse.
3. Mettre la formule F2 dans la forme normale Prénexe.
4. Mettre la formule prénexe obtenue dans la question précédente sous la forme Skolem.
5. Mettre le résultat de la question 4 sous forme clausale.

NB : pour mettre une formule skolémisée sous forme clausale, il suffit d’éclater la formule en
plusieurs « clauses » ne contenant que les connecteurs ￢ et ∨ (pas de ∧). Les ∧ ont servi pour
séparer les clauses (un connecteur ∧ est implicitement mis entre deux clauses).

Exemples :

 Exemple 1 : Soit la forme Skolem suivante : p(a) ∧ q(a, f(x)) donne la forme clausale
suivante (formée de deux clauses) :

C1 : p(a)
C2 : q(a, f(x))

2
Naoufel KHAYATI 2022-2023
  Exemple 2 : Soit la forme Skolem suivante : p(a) ∨ (q(a, f(x)) ∧ r(b, x)) donne la forme clausale
suivante (formée de deux clauses) :

C1 : p(a) ∨ q(a, f(x))

C2 : p(a) ∨ r(b, x)

Exercice 8

Donner une forme clausale pour chacune des 4 formules suivantes :

NB : pour chaque formule, donner la forme prénexe, la forme de skolem puis la forme
clausale.

a) ∀x P(x) ⇒ (∃t Q(t) ∨ ∃t R(t))

b) ∀ x (∀y P(x,y) ⇒ ∃z R(x,z))
c) ∀ x ∀y ∃z (P(x,y,z) ∧ (∃u Q(x,u) ⇒ ∃v Q(y,v)))
d) (∃x P(x) ⇒ ∃ x R(x) ∨ ∀y P(y)) ∧ ∀x ∃y (R(y) ⇒ P(x))

3
Naoufel KHAYATI 2022-2023