Logik erster Stufe #3 - Syntax und Semantik

Wir sehen uns die Syntax der Logik erster Stufe (Prädikatenlogik) an und (anhand von vielen Beispielen) auch die Semantik. 0:00 Einführung 2:03 Syntax 7:52 Syntaxbaum 8:56 Beispiel 10:25 Semantik-Beispiel 12:53 Freie Variablen 15:53 Semantik 16:56 Beispiel 20:31 Beispiel