Definition:Language of Propositional Logic/Formal Grammar/WFF

Definition
Let $\mathbf A$ be approved of by the formal grammar of propositional logic.

Then $\mathbf A$ is called a well-formed formula of propositional logic.

Often, one abbreviates "well-formed formula", speaking of a WFF of propositional logic instead.

Also known as
There are many ways this concept is addressed in the literature, for instance:


 * propositional formula
 * logical formula