Interpretation Allquantor

Interpretation Allquantor

Frage:

 Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=\forall x\: G$ ?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.