Definition:Atomic WFF of Predicate Logic

Definition
An atomic WFF of predicate calculus is a WFF of the form:


 * Any propositional symbol of the alphabet of Propositional Calculus $$\mathcal P_0$$;


 * $$p \left({u_1, u_2, \ldots, u_n}\right)$$, where $$u_1, u_2, \ldots, u_n$$ are individual symbols, and $$p \in \mathcal P_n$$ is an $n$-ary predicate symbol.