Definition:Atomic WFF of Predicate Logic

Definition
An atomic WFF of predicate logic is a WFF not containing any connectives or quantifiers.

In the formal grammar of predicate logic, the atomic WFFs are precisely those WFFs which can be formed by only applying the rule $\mathbf W ~ \PP_n$.