TD N1 : Langage de la logique des propositions

Exercice 1

Soient les variables propositionnelles p et q où

p désigne "L'enfant sait lire" et q désigne "L'enfant sait écrire"

Donner la traduction dans le langage courant les propositions suivantes :

1) p  q 2) p   q 3) q  p 4)  p   q 5)  (p  q)

Exercice 2

Soient p la proposition "X estime Y" et q la proposition "Y estime X"

Ecrire sous forme symbolique les phrases suivantes :

1) X estime Y mais Y ne lui rend pas son estime 2) X et Y s'estiment

3) X et Y se détestent 4) Y est estimé par X mais X est détesté par Y

5) X et Y ne se détestent ni l'un ni l'autre

Exercice 3

Soient A et B deux variables propositionnelles désignant respectivement "il pleut" et "il y a des
nuages"

Donner en français cinq phrases différentes ayant le même sens que la formule AB

Exercice 4

Associer une formule propositionnelle aux énoncés suivants:

1) Exactement un seul parmi Hedi et Ali est étudiant

2) Ni hedi ni Saleh ne sont étudiants

3) Au moins l'un des trois n'est pas étudiant

4) Un seul parmi les trois n'est pas étudiant

5) Seulement deux parmi les trois sont étudiants

6) Si Hedi est étudiant, Ali l'est ; sinon Ali ne l'est pas

7) Si Hedi est étudiant alors au moins l'un des deux autres ne l'est pas

1
Exercice 5

Sachant que x, y sont vrais et z est faux, trouver les valeurs de vérité des formules suivantes :

1) (x  (y  z))  (y  z) 2) (y  x)  ( (x  y)  (z   x))

3) ((y  x)  (x  y))  (z   x)

Exercice 6

Pour chacune des formules suivantes, construire sa table de vérité

1) (pq)  (pq) 2) (p  q)  (( (p  r)  q )  r)

Exercice 7

Etudier les valeurs de vérité de ces formules

1) (A  ( A  B))  A

2) (A  ( B  C) )  ((A  B)  C)

3) (A  ( B  C) )  ((A  B)  (A  C))

Exercice 8

Montrer que

F=(A  ((B  C)  (A  D)))  ((D   E)  (A  C))

est une tautologie