Definition:Atomic WFF of Predicate Logic
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 ~ \PP_n$.
Sources
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability: $\S 2.2$