Agregada funcion implicacion para el tipo A>B