Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ die folgende Form hat: $F=P(t_1,\dots ,t_k)$ mit Termen $t_1,\dots ,t_k$ und dem $k$-stelligen Prädikatensymbol $P$ (d.h. $F$ ist eine atomare Formel)?
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.