Definition:Classes of WFFs/Plain WFF

A plain WFF of predicate calculus is a WFF with no parameters.

Thus $$WFF \left({\mathcal{P}, \varnothing}\right)$$ is the set of all plain WFFs formed from $$\mathcal{P}$$.