How do I find the generating sequence for the predecessor function? I know I need to use the primitive recursive functions (successor function, constant function, projection function, composition, and induction). But I am not sure how to use them to create the predecessor function.
Thanks!