Gesucht Resolution < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 00:16 Do 16.05.2013 | | Autor: | AlexK |
Ich suche vergebens nach einer Lösung dieser Resolutionsaufgabe..Ich habe schon viele Stunden damit verbracht diese zu lösen -.-
Aufgabenstellung:
Gesucht ist eine Resolutions-Ableitung für die Klausel
False
aus der Klauselmenge
0 : ! b || ! d || a || c
1 : a || b || c || d
2 : ! a || ! b || c || d
3 : ! b || ! c || ! d || a
4 : ! a || ! b || ! c || ! d
5 : ! a || b || c || d
6 : ! b || ! c || a || d
7 : ! a || ! b || ! c || d
8 : ! d || a || b || c
9 : ! c || ! d || a || b
10 : ! a || ! d || b || c
11 : ! a || ! c || b || d
12 : ! a || ! b || ! d || c
13 : ! a || ! c || ! d
14 : ! c || a || b || d
15 : b || c
16 : ! b || a || c || d
Danke schon im voraus für die Hilfe
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:23 Do 16.05.2013 | | Autor: | AlexK |
Anscheinend kann mir keiner Helfen... :(
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 11:03 Sa 18.05.2013 | | Autor: | M.Rex |
Hallo und ![[willkommenmr]](/images/smileys/willkommenmr.png "[willkommenmr]")
> Anscheinend kann mir keiner Helfen... :(
Das ganze ist ein sehr spezielles Thema, das sicherlich weit weg von "Standarddingen" oder Grundlagen der Mathematik ist. Daher musst du hier leider warten, dass sich ein Helfer mit gerade dem speziellen Wissen hier einfindet.
Kannst du mal versuchen, ein oder zwei Lösungsideen zu geben, evtl sogar auch erstmal nur in Worten? Du schriebst ja, dass du einiges probiert hättest. Zeige mal einige deiner Versuche, dann könnte man evtl nochmal weitersehen. Evtl kann man auf den Versuchen ja schon aufbauen.
Marius
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 00:20 Fr 24.05.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
