Rule of Formation/Examples/Not A

Example of Rule of Formation

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.

Sources

• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): formation rules