Informatiker Board | Logik | Findet man in Resolution die leere Klausel?

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Findet man in Resolution die leere Klausel? » 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

Die letzten 2 Beiträge
Haevelin	RE: Findet man in Resolution die leere Klausel? Jetzt habe ich gefunden, dass Unit- und Input-Resolution beide nicht vollständig sind. Beispiele wären willkommen!
Haevelin	Findet man in Resolution die leere Klausel? Hinsichtlich der aussagenlogischen Resolution soll ich folgendes Problem lösen: Erhält man die Vollständigkeit der Resolution, d.h. findet man die leere Klausel, wenn sie ableitbar ist, auch mit den gegebenen Einschränkungen? 1) Lineare Resolutioin 2) Input-Resolution 3) Unit-Resolution Bisher habe ich nur gegoogelt, dass die lineare Resolution vollständig ist. Warum, weiß ich nicht.