Processing math: 100%

Interpretation atomare Formel

Interpretation atomare Formel

Frage:

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.