LIFLC ? Logique classique TD2 ? Induction - CNRS
Ensemble LH. ? si e ? E alors leafLH(e) ? LH. ? si n1 ? LH, n2 ? LH et f ? F, alors nodeLH(n1,f ,n2) ? LH. Exercice 2 : Ensemble inductif des arbres ...
Ensemble LH. ? si e ? E alors leafLH(e) ? LH. ? si n1 ? LH, n2 ? LH et f ? F, alors nodeLH(n1,f ,n2) ? LH. Exercice 2 : Ensemble inductif des arbres ...