Prädikatenlogik (Formeln)

Eine Formel in einer Signatur ist

• ein Prädikatsymbol mit einer passenden Anzahl von Argumenten (= Termen)
• oder eine aussagenlogischer Operator mit einer passenden Anzahl von Argumenten (= Formeln)
• oder ein Quantor mit einer Variablen und einem Argument (= Formel)

Quantor steht (im Baum) über der Formel, auf die er wirkt.

Deswegen: vor Formel schreiben und ggf. klammern.

Schreibweise am Ende der Formel ist irreführend:

F(x),∀x vgl. x = 3.14 ; double x;