Definition:Atomic WFF of Predicate Logic

From ProofWiki
Jump to navigation Jump to search

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


Sources