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
 * statement form
 * logical formula

However, on, logical formula is a term used to refer to any kind of expression used in symbolic logic, whereas statement form is used in this way in some sources.

Hence on WFF of propositional logic and propositional formula are the terms of choice for this concept.

Also see

 * Definition:Logical Formula