Por los tres tipos de ejemplos que he puesto verá que hay implicaciones que no responden a la idea de que "la afirmación de la segunda depende de la validez de la primera", que esta fórmula no recoge toda la verdad acerca de la cuestión. La clave está en remarcar la <necesidad> de la implicación en sí, es decir, en remarcar la <imposibilidad de que no>,  antes que en las verdades de antecedentes y consecuentes. ¿es mi concepto de implicación distinto del suyo?