# Definition:Atomic WFF of Predicate Logic

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 ~ \mathcal P_n$.