freie Variablen
Frage:
Wie wird mit freien Variablen in einer Formel $F$ verfahren, wenn man $F$ auf Erfüllbarkeit testen möchte? (Lemma 3.24)
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.