Definition:Basic WFF of Predicate Logic

Definition
Let $\LL$ be the language of predicate logic.

A WFF $\mathbf A$ of $\LL$ is called basic it does not start with a logical connective.

Basic WFFs are useful to consider as atoms when analysing propositional logic within the larger context of predicate logic.

Expressed more formally, we can take the basic WFFs as the vocabulary of the language of propositional logic.

Do note that e.g. $\forall x: x = x \land x = x$ is considerd basic even though it contains the logical connective $\land$.

This is because $\land$ is not the main connective.

Also see

 * Definition:Atom (Logic)