Rule of Formation/Examples

Examples of Rules of Formation

Not A

In the language of propositional logic, logical negation is implemented using the rule of formation:

$\mathbf W: \neg:$ If $\mathbf A$ is a WFF, then $\neg \mathbf A$ is a WFF.