Definition:Atomic WFF of Predicate Logic

From ProofWiki
Jump to navigation Jump to search


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$.