implicación (en lógica o ciencia)