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)