Resolutionsbeweis < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:05 Mo 03.11.2008 | | Autor: | meierh |
Hallo Matheraum!
Ich hoffe jemand kann mir bei dieser Aufgabe helfen:
Zeigen Sie durch Resolution, dass
A [mm] \wedge [/mm] B [mm] \wedge [/mm] C
aus der Klauselmenge
{ {A, [mm] \neg [/mm] B}, {A, [mm] \neg [/mm] C}, {A}, {C, [mm] \neg [/mm] A}, { [mm] \neg [/mm] C, B , [mm] \neg [/mm] A } }
folgt.
Kann das denn überhaupt gehen? Schließlich kürzen sich doch [mm] \neg [/mm] B gegen das B
und C gegen [mm] \neg [/mm] C, sodass gar kein B oder C übrigbleibt.
Ich wäre für Aufklärung sehr dankbar!
Gruß, Hans
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Mi 05.11.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
