Logique Formelle Correction de la feuille d’exercices n°1

Mme Kempf Systèmes Formels

Exercice 1
Soit le système formel défini par : l’alphabet : A = { D, E, _ }
les mots : toutes les chaînes de symboles
les axiomes : x D _ E x, où x est suite quelconque de _
la règle unique : x D y E z ? x z D y _ E z. où x, y, z sont des suites de _
Choisissons l’interprétation ℑ :
D ~~> « divisé par »
E ~~> « égale »
Le tiret représente 1 unité (ex : _ _ _ ~~> « 3 »)
Supposons + a D b E c et que ℑ(a D b E c) soit un énoncé vrai.
Parmi les 3 formules : (F1) a c c D b _ _ E c
(F2) a a D _ _ D b E c
(F3) abDbEc_

1) Lesquelles sont des théorèmes du système formel ?

(F1) est un théorème

+aDbEc?
+acDb_Ec?
+accDb__Ec
(F2) n’est pas un théorème car la règle d’inférence ne permet pas d’introduire un 2 ème D.
(F3) n’est pas un théorème car la règle d’inférence ne permet pas d’introduire le _ après le c.

2) Lesquelles sont vraies dans ℑ ?

(F1) et (F3)sont vraies dans ℑ.

(F2) pose un problème de parenthèsage :
2a / 2
si on lit = c , c’est vrai
b
2a
si on lit = c , c’est faux.
2/b

3) On dit qu‘un système formel S est consistant dans une interprétation ℑ si et seulement si tout théorème T de S
vérifie ℑ (T)= vrai.
Le système formel défini ci-dessus est-il consistant dans l’interprétation ℑ ?

Oui.
Les théorèmes sont tous de la forme : + x x . . . x D _ _ . . . _ E x où x est une suite de _
n fois x n fois _

qui s’interprète nx =x .
n

Cours de Logique Formelle de Mme Kempf Correction de la feuille d’exercices n°1 1/2
Exercice 2

Considérons le système formel :

• {a, b, c } est l’ensemble des symboles
• a, b, c sont des mots, ainsi que toutes les expressions de la forme aa….abcc….c notées a nbcm, avec (n, m) ∈ N2.
Conventions : b ck représente a 0 b ck
ap b représente a pb c0
• {a2i b c2i | i ∈ N } est l’ensemble des axiomes
• il y a une seule règle d’inférence : (anbcm, a kbcp) → an+kbcm

1) Les mots a 6bc2, a 2bc4, abc, a 10b sont-ils des théorèmes ? Justifier.
2) Décrire toutes les formes de théorèmes possibles dans ce système formel. Justifier.

Il est plus simple de répondre d’abord à la question 2 !

2) En appliquant 1 fois la règle d’inférence aux axiomes, on obtient l’ensemble des théorèmes de la forme :
• a 2i b c2i par (a2i b c2i , b) ? a2i b c2i : sans surprise, on retrouve le fait que les axiomes sont des théorèmes
• a 2i b c2i par (b, a 2i b c2i ) ? a2i b
• a 2k b c2i (avec k > i) par (a2i b c2i , a 2sb c2s) ? a2(i+s) b c2i .
En appliquant une nouvelle fois la règle d’inférence à ces théorèmes, on trouve des théorèmes de même forme.
L’ensemble des théorèmes du système formel est donc : { a 2k b c2i | (i,k) ∈ N2 et k = i}

1) De sorte que :
• a 6bc2 et a 10b sont des théorèmes,
• a 2bc4 et abc n’en sont pas.

Cours de Logique Formelle de Mme Kempf Correction de la feuille d’exercices n°1 2/2