Version de

Formalités

Le système MIU comprend

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

Exemples de dérivation :

Rendered by QuickLaTeX.com

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 MIUIUIUIU et MIIIUII sont des théorèmes du système MIU.

S'il est établit que :
{{current}}
En conclure que :
Liste des déductions
  1. {{t.value}}[{{t.rule}}]

Choisissez
Règles (Cliquer pour appliquer)
Règle 1   xI → xIU
Règle 2   Mx → Mxx
Règle 3   xIIIy → xUy
Règle 4   xUUy → xy
Bravo !
Démonstration impossible !

Bibliographie :

 

Lisez une doc 80)