Negation

Sei \(A\) eine Formel, so ist die Negation definiert durch

\begin{align*} \lnot A \coloneqq A \rightarrow \bot \end{align*}