Let A and B be formula and p be a variable, prove with induction that A[p:=B] is a well-formed formula

i'm struggling with this question, i'm not sure about how to use the proper syntax in the proof I was hoping someone could point me in the right direction on where to start