freie Variablen

Question

Wie wird mit freien Variablen in einer Formel $F$ verfahren, wenn man $F$ auf Erfüllbarkeit testen möchte? (Lemma 3.24)

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

Kommentare