Well Formed Formula In Discrete Mathematics