Examen de Logique pour non spécialistes. 2h, notes autorisées.

Exercice 1:
Soient p, q des variables de propositions. Rappelez les dénitions de conséquence logique et équivalence
logique, puis déterminez, en utilisant les tables de vérité, et en justiant votre démarche, si les propositions
suivantes sont vraies ou fausses.
1.p, p ∧ q, q  p
2.p → q, p  q
3.(¬p ∧ ¬q)  p ∨ q
4.¬p  (p ∨ ¬p)
5.p → ¬p  ¬p
Déterminez si les formules à droite du signe "" sont satisfaisables, contradictoires ou valides, en justiant.
Exercice 2:
Soient L un langage du premier ordre, R, Q, P des symboles de prédicat d'arité 1, x, y, z des variables, et
a une constante. Déterminez quels sont (i) la hauteur, (ii) le connecteur principal et (iii) les sous-formules
des formules suivantes:
1.Q(x) ∨ R(x)
2.¬Q(x)
3.∃zP (z) ∧ P (a)
4.∀x(P (x) ∧ R(x))
5.(∃yP (x)) ∧ R(x)
6.(Q(x) ∧ (P (x) ∨ ¬P (x)))
7.∀x∀y∀z(P (x) → (R(x) ∧ Q(x)))
Exercice 3:
En utilisant la portée des quanticateurs, déterminez si les formules suivantes sont closes ou non, et
précisez quelles sont les variables libres le cas échéant.
1.∀x(P (y) ∧ Q(x))
2.¬(∃xP (y, x))
3.(∀xP (x)) ∧ (∀xQ(x))
4.∀x∃yP (x, y, w)
5.∀x∃yP (x, y, x)
6.((∃xP (x)) ∧ Q(x))
7.P (x)
8.∃z(P (z) → ∀x(Q(x)))
9.∃x(P (x) → ∀y(Q(y, x)))
10.∃zP (z) → (∀y(Q(y, z)))
Exercice 4:
La règle de coupure peut s'écrire comme la formule suivante : ((A → B) ∧ (B → C)) → (A → C). En
utilisant le théorème de déduction, montrez que la règle de coupure peut s'écrire sans conjonction.
Exercice 5:
Soit R une relation dénie par R := {(1, 2), (2, 3), (4, 4)} sur le domaine D := {1, 2, 3, 4, 5}. Soit L le
langage du premier ordre restreint à un symbole de prédicat {R} d'arité2. R et D sont-ils une structure
d'interprétation pour L? Sont-ils un modèle pour la formule de L suivante :∀x∃yR(x, y)? Justiez.