Hola:
Están correctas las fórmulas.
El ii) que postula la existencia del inverso, queda un poco raro pero es un problema vinculado a cómo está propuesto el ejercicio. (sería mejor tener una constante que represente el neutro).
Con respecto a lo que decís de usar una implicancia, lo que estarías diciendo es que:
- "si existe un neutro, hay un inverso"
y como la (i) establece la existencia de neutro, estaría bien.
Con respecto a las dos últimas, conviene dar sentencias, esto es que no haya ocurrencias libres de variables.