Vous êtes sur la page 1sur 3

Théorie de la démonstration

Exercices Chapitre 1, 2. . .

6 octobre 2019

Construction et véri�cation de preuves en déduction


naturelle
Déduction naturelle propositionnelle
Exercice 1 Trouvez une dérivation en DNM des formules suivantes :

1. (p ∧ q) → p 7. (p → (q → r)) → ((p ∧ q) → r)
2. p → ((p → q) → q) 8. ((p ∧ q) → r) → (p → (q → r))
3. p → (q → (p ∧ q)) 9. (p → (q ∧ r)) → ((p → q) ∧ (p → r))
4. p → (p ∧ p) 10. ((p → q) ∧ (p → r)) → (p → (q ∧ r))
5. p → (q → p) 11. ((p ∨ q) → r) → ((p → r) ∧ (q → r))
6. (p ∧ q) → ((p ∨ q)) 12. ((p → r) ∧ (q → r)) → ((p ∨ q) → r)

Exercice 2 Montrez que (en déduction de séquents) :


1. p DNM ¬¬p 6. p → ¬p DNM ¬p
2. ⊥ DNM ¬¬p 7. ¬ (p → q) DNM ¬q
3. ¬p ∧ ¬q DNM ¬ (p ∨ q) 8. p ∧ ¬q DNM ¬ (p → q)
4. ¬ (p ∨ q) DNM ¬p ∧ ¬q 9. DNM ¬¬¬p → ¬p

5. DNM ¬ (p ∧ ¬p) 10. DNM (p → q) → (¬q → ¬p)

Exercice 3 Refaire l’exercice 1 en déduction de séquents.

1
Exercice 4 Montrez que :

1. ¬p DNI p → q 3. ¬p ∨ q DNI p→q


2. ¬p DNI p → q 4. p ∨ ¬p DNI ¬¬p → p

Exercice 5 Donnez deux preuves distinctes en DNM du séquent suivant :

� (p → q) → ((q → p) → (p → p))

Exercice 6
1. Combien existe-t-il de preuves en DNM du séquent � p → p ?
2. Soient Γ un ensemble �de formules et ϕ une
� formule. Quelles valeurs peut
prendre le cardinal de π | π : Γ DNM{→} ϕ ?

Exercice 7 Montrez que :

1. DNC p ∨ ¬p 4. DNC ¬ (p → q) → (p ∧ ¬q)


2. (p → q) → p DNC p 5. p → q DNC ¬p ∨ q
3. DNC (p → q) ∨ (q → p) 6. (p ∧ q) → r DNC (p → r) ∨ (q → r)

Déduction naturelle du premier ordre


Exercice 1
1. L’arbre qui suit est-il une preuve ? (justi�ez votre réponse)
∀x∃y ¬xRy
∃y ¬yRy
2. On considère l’arbre δ :
∀x∃y xRy [xRy]1
∀−élim ∀−intro
∃y xRy ∀x xRy
∃−élim 1
∀x xRy
∃−intro
∃y∀x xRy
(a) Donnez les conditions pour que chacune des (instances de) règles (ver-
sion simpli�ée) indiquées dans δ soit correcte.
(b) δ est-il une preuve ?
3. On considère le schéma de formules 1.∃x (ϕ → ψ) → (ϕ → ∃xψ)

2
(a) Donnez une condition sur la formule ϕ pour que 1 admette une preuve
en DNM.
(b) On suppose que x ∈ / varlib (�). Montrez que la condition donnée en (a)
est toujours requise.

Exercice 2 Pour Q ∈ {∀, ∃} , � ∈ {∧, ∨, →} indiquer, en justi�ant à chaque fois


votre réponse « oui », les cas où l’on a :

1. Qx (Px�Sx) DNM QxPx�QxSx 2. QxPx�QxSx DNM Qx (Px�Sx)


� �
Exercice 3 Soit L = p�0� , P�1� , Q�1� , R�2� ; f �1� ; →, ∀, ∃, ∨ .
1. Montrer que :
1. DNM (∃xPx → q) → ∀x (Px → q) 4. ∃xPx → q DNM ∀x (Px → q)
2. DNM ∀x (Px → q) → (∃xPx → q) 5. ∃y∀x yRx DNM ∃y yRf(y)
3. DNM ∃y∀x yRx → ∀x∃y yRx 6. 3 DNM ∀x f(x) Rx → ∃x f(f(x))Rf(x)
2. Donner une preuve en DNC de chacune des formules suivantes :
1. ∀xPx ∨ ∃x¬Px 4. ¬∀x¬Px → ∃xPx
2. ∀x (Px ∨ ¬Px) 5. ∃x (Px → ∀xPx)
3. ∀x (Px ∨ q) → ∀xPx ∨ q 6. (∀xPx → ∀xQx) → (∃x¬Qx → ∃x¬Px)