Wie ist der Wahrheitswert A(F) einer Formel F in der Struktur A definiert, falls F die folgende Form hat: F=P(t1,…,tk) mit Termen t1,…,tk 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.