Definición del implicador