Resolutionsregelfrage(einfach) < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 15:25 Sa 23.05.2009 | | Autor: | hydro |
| Aufgabe | Folgende Ableitungen sind nicht korrekt:
{L,K}
{¬L,¬K}
{}
{ L, K, M}
{¬ L, ¬ K, N }
{M, N}
{¬ L, L, M }
{M}
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo,
Es handelt sich um Ableitungen beim Resolutionskalkül
die oben genannten Ableitungen stehen so im Skript und sind nicht korrekt.
Leider fehlte ich 3 Wochen durch Krankheit, und weiß deshalb nicht, warum sie nicht korrekt sind.
So ganz blicke ich da noch nicht durch. So wie ich das jetzt verstanden habe eliminiert sich ein Literal L und ¬L in 2 verschiedenen Klauseln.
Besonders die ersten 2 Beispiele hätte ich genau so abgeleitet.
Wäre dankbar wenn mir jemand erklären könnte warum die 3 Ableitungen nicht korrekt sind.
Danke schonmal!
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Mi 27.05.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
