Académique Documents
Professionnel Documents
Culture Documents
Gentzen)
Ide
Une preuve dans ce systme aura la forme dun arbre
S3
S4
S2
S1
Exemple de rgle
A,
B,
AB,
Cette rgle est applicable sur tout squent contenant une formule droite dont le connecteur
principal est un
Exemple
A , BC
(EF)F
:{ A , BC } : A : (EF)
B:F
Les rgles
A,
,A,B
B,
AB,
,AB
A,B,
AB,
AB,
,B
, AB
A,
,B
, AB
Axiome
A,
, A
A,
B,
,A
A,