Ich hab Probleme mit Aufgabe 1. F1 ist ja noch kein Problem, aber wie mache ich das mit den Quantoren? Setz ich dann trotzdem bei F2 für x 1 ein oder lass ich das x?

Hier der Zettel: http://www.informatik.uni-hamburg.de/WSV/teaching/vorlesungen/f1-2004/Blatt12.pdf

wenn x durch einen Quantor gebunden ist,
dann hat der Wert für x in Struktur I_1(x) = 1 keine Bedeutung mehr

du musst die Formel für Quantoren so auswerten wie es die Auswertungsregel für Quantoren vorschreibt

das sollte im Skript stehen, in meiner Version zum Beispiel auf Folie Logik 9-39,
Definition 9.10 Auswertung komplexer Formeln mit Quantoren

Danke! Steht auch im Skript, aber das hab ich da nich so verstanden…