1-il faut relire vos questions et éviter les fautes!
2-Pour vérifier qu’une formule est bien formée il faut s’assurer qu’elle remplie toutes les conditions de la définition inductive du cours: a-t-elle toutes ses parenthèses obligatoires? les parenthèses sont-elles bien placées? les quantificateurs sont-ils bien utilisés,…