Definition:WFF of Propositional Logic