erfüllbar
Frage:
Sei $A$ eine Menge von prädikatenlogischen Ausdrücken $\{A_1, ..., A_n\}$
$A$ heißt erfüllbar $:\Leftrightarrow \; ?$
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.