Wff in Propositional Logic

Moved to [WFF (click)].