Академический Документы
Профессиональный Документы
Культура Документы
Exercices Chapitre 1, 2. . .
6 octobre 2019
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)
1
Exercice 4 Montrez que :
� (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{→} ϕ ?
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.