I have the following problem $a = b\land p(s(a)) \land \lnot p(s(b))$.
My task is to derive the axioms of equality and find a proof with this. Can somebody help me, because I have no idea to do this and I found nothing really concrete about this in my script...