Negation

1. Definition

Sei $A$ eine Formel, so ist die Negation definiert durch

\begin{array}{r} \neg A \coloneqq A \to ⊥ \end{array}