Égalité

Inconnue et résultat

Rompre l’os

Formalités

Le système comprend

• – l’alphabet : , ,  ;
• – l’axiome :  ;
• – quatre règles :
  1. Ajouter un suffixe : si une chaîne se termine par on peut ajouter un à la fin ;
  2. Répéter un élément : avec une chaîne on peut former (quelque soit ) ;
  3. Substituer : on peut remplacer par  ;
  4. Supprimer : on peut supprimer toute paire .

Exemples de dérivation : Toute chaine que l’on peut produire à partir des axiomes en appliquant les règles sur les chaines déjà produites s’appelle un théorème. La séquence des chaines conduisant au théorème forme une preuve du théorème. Les dérivations de l’exemple précédents montrent que et sont des théorèmes du système . [include id= »4″ title= »Miu_html »] Bibliographie :   Lisez une doc 80)

Égalité

Rompre l’os