Formel (Logik)

Sei \(\mathcal{L}\) eine Signatur.

Dann werden Formeln induktiv definiert:

1. Primformeln sind Formeln

1. Für Formeln \(A,B\) so auch

\begin{align*} A \rightarrow& B \\ A \land& B \\ A \lor& B \end{align*}

siehe:

• <konjunktion>
• intuitionistische Disjunktion
• für eine Formel \(A\) und eine Variable \(x\), so auch

\begin{align*} \forall_x& A \\ \exists_x A \end{align*}

siehe:

• intuitionistische Existenz