salut
bonjour ,
j'ai besoin un petit coup de main !!
j'arrive pas a comprend cette exercice , tu peut m'explique ou bien de répond a ces question !
∑={a,b,c} (alphabet) F={a^n.bc^m avec n,m>=0}(ensemble des f,b,f)
A={a^2i.bc^2i avec i>=0} (ensemble des axiomes)
R:il ya une seul regle d'inference decrite par :
r1 :a^n.bc^m ,a^n'.bc^m'------>a^n+n' .bc^m
1)-les formules a^6.bc^2 et a^10.b sont-elle des theoremes?
2)-identifier l'ensemble des theoremes T.
3)-Montrer que si n eleve un seul axiome ,alors T n'est plus le meme ?
merci d'avance
-----