Buenas! No me doy cuenta cómo expresar el sucesor inmediato usando únicamente los símbolos dados como pide la letra.
Alguien lo pudo hacer?
Saludos!
La idea es usar el símbolo 
, negación y algún cuantificador para decir algo como:
- s es el sucesor inmediato de n si
- s es mayor que n
- No hay ningún número menor que s y mayor que n