21.2.2 Prädikatenlogik, Syntax

Aus was sind prädikatenlogische Formeln aufgebaut?

Woraus bestehen Terme in der Prädikatenlogik?

Wie werden Terme in der Prädikatenlogik definiert?

Was ist ein n-stelliges Prädikat?

Wie wird ein n-stelliges Prädikat formal bezeichnet?

Was ist eine Primformel?

Wie sind prädikatenlogische Formeln definiert?

Wann spricht man von der Prädikatenlogik erster Stufe?

Wann spricht man von der Prädikatenlogik zweiter Stufe?

Inwiefern gelten die Präzedenzregeln der Aussagenlogik auch in der Prädikatenlogik?

Wie lauten die in der Prädikatenlogik geltenden Präzedenzregeln?

Wie stark binden die Quantoren in der Prädikatenlogik?

Was ist der Wirkungsbereich eines Quantors?

Ergänze:
Ein Quantor bindet alle Vorkommen einer Variable außer...?

Wann heißt das Vorkommen einer Variable "frei" in der Prädikatenlogik?

Wann nennt man eine Variable "gebunden"?

Was ist eine "geschlossene Formel"?

Wann nennt man eine Formel "konsistent umbenannt"?