Visitor

Views

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).