Informatiker Board | Logik | aussagenlogische Resolution

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » aussagenlogische Resolution » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag
bcrksrgn	aussagenlogische Resolution Hallo, ich habe eine Frage zur aussagenlogische Resolution. Die Resolutionskalkül beweist bei unerfüllbarer Eingabe, das die Formel unerfüllbar ist. Kann man Resolution auch benutzen, um für eine beliebige Eingabeformel korrekt in endlicher Zeit zu entscheiden, ob sie erfüllbar oder unerfüllbar ist? Ich danke euch schonmal im Voraus .