Hi this was an exercise left for the reader, so i did part (a) and (c) but i really wanted to know (b) and (d) and i really tried but can't seem to figure it out
the exercise is as follows
here are the axioms i believe its referring to
and here is an example
I am really curious to see the solution, since i spent so much time on it.
Thank you in advance