Resolutionsaufgabe aus Klausur < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:41 Mo 28.01.2013 | | Autor: | starki |
| Aufgabe | Kreuzen Sie in der folgenden Tabelle das Zutreffende (richtig / falsch) an:
* Aus den Klauseln [mm] \{C, \neg B\} [/mm] und [mm] \{\neg C, B\} [/mm] lässt sich mit aussagenlogischer Resolution die leere Klausel herleiten. |
Dies ist eine Klausuraufgabe. In der Musterlösung steht falsch und ich frage mich, warum das so ist. C und [mm] \neg [/mm] C kann man streichen und [mm] \negB [/mm] und B kann man streichen und es kommt doch die leere Menge heraus.
Kann mir das jemand mal erklären?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Mi 30.01.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
