2.8> Función de implicación