Wff in Propositional Logic
Moved to
[WFF (click)]
.