Beweisen mitResolutionsmethode < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 17:56 Mo 18.07.2011 | | Autor: | Lutz28 |
| Aufgabe | Beweisen Sie die folgende Implikation mit der Resolutionsmethode:
(a --> (b <--> c)) ∧ (¬b --> c) ==> (a --> (b ∧ c)) |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Bitte helft mir...Ich komme mit dieser Frage nicht weiter.
Ich habe beim ersten Bereich(vor pfeil) auf diese Klauseln:
{-a,-b-c},{-a,b-c},{b,c}
und im zweiten Bereich(nach Pfeil) auf diese Klauseln(musste negiert werden):
{a,-b},{a,-c}
Ist das richtig bis jetzt? Habe versucht mit reolutionsschema ein leeres klausel zu bekommen doch habe daran gescheitert.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:20 Fr 22.07.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
