7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois
Formulesets´equnestoPisitnoCsuoFopsalrmatisnLio´htairoeMedeCLLAresoupu
De´dou
Mon
deuxi`emejeulogique:
MALL
Janvier 2010
Formules et sequents ´
du chapitre
Positions
1
Coups
2
Formalisation
3
Lathe´oriedeMALL
4
Coupures
5
6
Plan
oFs´equentrmulesetoCsnFspusoPsoitiontithLamaorsalioCpuAMLLeiede´roures
Les formules mult-additives
Exercice Ecrivez une formule impliquant tous les constructeurs.
M:= 1|0|MM|MM|>|⊥|M&M|MOM.
L’ensembleMALLdes formules mult-additives estd´eniparlagrammaire:
FroousCFopssiPoontiuqe´stneelumstesALLCoupueoriedeMoiLnta´hmrlasitaser