1 LA GRAMMAIRE POUR L'EXPRESSION ÉCRITE niveau B1
. La condition y ?? fv(?) dans la définition de la règle (?) est nécessaire pour la correction du calcul des séquents. Sinon, on pourrait dériver. (ax).
. La condition y ?? fv(?) dans la définition de la règle (?) est nécessaire pour la correction du calcul des séquents. Sinon, on pourrait dériver. (ax).