Sachant que
{{current}}
En déduire :
Bravo !
Liste des déductions
{{t.value}}
[{{t.rule}}]
Réinitialiser
Annuler
Nouveau théorème
{{candidate.value}}
Règles
Règle n° 1
xI → xIU
Règle n° 2
Mx → Mxx
Règle n° 3
xIIIy → xUy
Règle n° 4
xUUy → xy
De quoi s'agit-il ?
Lisez
la doc 80)