1 transparent par page - Montefiore

Appartenance
Théorème : MUIU appartient au système MIU.
Démonstration :
Montrons qu’on peut dériver MUIU du cas de base MI en utilisant les
règles récursives :
◮ Par le cas de base, MI appartient au système MIU.
◮ En utilisant la règle 2, on en déduit que MII ∈ au système MIU.
◮ En utilisant la règle 2, on en déduit que MIIII ∈ au système MIU.
◮ En utilisant la règle 3, on en déduit que MUI ∈ au système MIU.
◮ En utilisant la règle 1, on en déduit que MUIU ∈ au système MIU.
124