Logik Fragen

Erfahrener Schreiberling

Date of registration: Oct 14th 2002

Thursday, July 17th 2008, 11:23am

Hi, eine Frage zur Resolutionswiderlegung.

Darf man Klauseln, die man zur Herleitung einer anderen Klausel verwendet hat, beliebig oft nochmal verwenden ?

Gegeben ist z.B. (Aufgabe 3, Blatt 4)

{{p1,¬p2, ¬p3},
{¬p2, p3},
{p2,¬p3},
{¬p1},
{p3}}.

In der Lösung wird dort z.B.
K3, K5 -> K6 = {p2}
K1, K4 -> K7 = {-p2,-p3}

K6,K7 -> K8 = [-p3}

Und _dann_ wird K5 wieder benutzt um mit K8 die leere Klausel zu erhalten.

Darf man also verwendete Klauseln beliebig oft nochmal verwenden um andere Klauseln herzuleiten ? Ich dachte bis jetzt immer, da geht nicht

Aber anscheinend doch.

This post has been edited 1 times, last edit by "Currywurst mit Pommes" (Jul 17th 2008, 11:25am)

Go to the top of the page

Currywurst mit Pommes

Erfahrener Schreiberling

Posts: 438

Date of registration: Oct 14th 2002

2

Thursday, July 17th 2008, 11:45am

Ach ja...und eine andere Frage (is mir vorher alles gar nicht aufgefallen

):

Etwas wie

K1 ={a, -b}
K2 = {-a, b}

kann ich mit einem "Schlag" zum Resolven {} überführen ?

Go to the top of the page

Finn MacCool

Junior Schreiberling

Posts: 195

Date of registration: Oct 7th 2006

3

Thursday, July 17th 2008, 12:51pm

das erste weiß ich nicht so genau

das 2. geht definitiv nicht, da z.b. a=1, b=1 die formel erfüllen würde

So berichte uns weiter, sagte Diarmuid Donn, um der Liebe Gottes willen.
Fürwahr, sagte Finn, ich will nicht.

Go to the top of the page

sommla

Junior Schreiberling

Posts: 169

Date of registration: Oct 27th 2005

4

Thursday, July 17th 2008, 12:54pm

Soweit ich das mal aufgeschrieben hab, darf man jede Klausel beliebig oft verwenden.

Pro Schritt (oder Schlag)

darf man aber nur eine Variabel "kicken".

Lieber ein Haus im Grünen als 'nen Grünen im Haus.

Go to the top of the page

Finn MacCool

Junior Schreiberling

Posts: 195

Date of registration: Oct 7th 2006

5

Thursday, July 17th 2008, 1:23pm

zumindest bei davis-putnam wurde aber doch jede klausel nur einmal verwendet, oder?

So berichte uns weiter, sagte Diarmuid Donn, um der Liebe Gottes willen.
Fürwahr, sagte Finn, ich will nicht.

Go to the top of the page

Currywurst mit Pommes

Erfahrener Schreiberling

Posts: 438

Date of registration: Oct 14th 2002

6

Thursday, July 17th 2008, 1:40pm

Danke. Das mit dem Doppelschlag war mir mittlerweile auch klar geworden...denn die Klauseln stellen ja quasi eine KNF dar. Und da wäre, die a,b geschichte erfüllbar.

Quoted from "Finn MacCool"

zumindest bei davis-putnam wurde aber doch jede klausel nur einmal verwendet, oder?

So hab ich das auch verstanden. Vielleicht hat mich das verwirrt.

Go to the top of the page

Schokoholic

Fritz

Posts: 2,518

Date of registration: Oct 4th 2006

Location: Hannover

Occupation: Haarspaltung

7

Saturday, July 19th 2008, 5:07pm

Na die Klausur war doch wirklich mal human. Eine Überhangklausur die man mit einem guten Drittel der Punkte besteht und die trotzdem relativ lässig zu schaffen war. Muss nur noch alles richtig sein...