Como se ha descrito anteriormente, la implicación supone un contenido semántico además de formal o sintáctico.