Wff in Propositional Logic

Moved to [Propositional Logic (click)].