TD N° 01 / Logique de l'IA/Master 01/ GI,GL

Série d'exercices n° 1: Systèmes formels

Exercice n° 01:
Soit S, un système formel dont la définition est comme suit :

s={a, b, c}, le vocabulaire ou l'alphabet de S.

Fs ={anbcm / n,m≥0}, l' ensemble des formules bien formées de S.

As ={a2ibc2i / i≥0} ensemble des axiomes de S.

Rs ={r1} où :

an bcm , an′ bcm′

′ r1
𝑎𝑛+𝑛 𝑏𝑐 𝑚

1) Montrer que a6bc2 et a10b sont des théorèmes de S.

2) Identifier l’ensemble Ts des théorèmes de S.

3) S est-il cohérent ?

Exercice n° 02:
Soit S, un système formel dont la définition est comme suit :

s = {M, I, U}

Fs=s*

As={MI}

Rs ={r1, r2, r3, r4} sachant que:

fI Mf
r1 , r2
fIU Mff
fIIIg fUUg
r3 , r4
fUg fg

Telles que : f, g  Fs

1) MUIU est-il un théorème de S ?

Fait par : BENABBOU AMIN

 TD N° 01 / Logique de l'IA/Master 01/ GI,GL

Solution d'exercice n° 01:

1) Montrer que a6bc2 et a10b sont des théorèmes de S.

L'ensemble des axiomes , As, de S se présente comme suit:

As ={b,a2bc2, a4bc4, a6bc6, a8bc8, a10bc10,….}

f1= a2bc2 (Axiome)

f2= a4bc4 (Axiome)

f3= a6bc2 (application de r1 sur f1, f2)

Donc Ͱs a6bc2

f1= b (Axiome)

f2= a10bc10 (Axiome)

f3= a10b (application de r1 sur f1, f2).

Donc Ͱs a10b

2) Identification de l'ensemble des théorèmes, TS, de S:

TS= { a2ibc2j / i,j>=0 et j<=i}
3) S est cohérent car : a2bc4  Fs et a2bc4  Ts

Solution d'exercice n° 02:

1) MUIU est-il un théorème?

f1: MI (axiome)

f2: MII (application de r2 sur f1)

f3: MIIII (application de r2 sur f2)

f4: MUI (application de r3 sur f3)

f5: MUIU (application de r1 sur f4)

Donc Ͱs MUIU

Fait par : BENABBOU AMIN