\begin{definition}[Definition:Atomic WFF of Predicate Logic]
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$.
\end{definition}