Die Suche ergab 67 Treffer

von eintopf
28. Aug 2011 18:51
Forum: Archiv
Thema: Prüfung WS 07 08
Antworten: 12
Zugriffe: 2012

Re: Prüfung WS 07 08

Bei der (i), was meinst du mit korrekter Klammerung? Würde das schon so hinschreiben wie ich es hier hingeschrieben habe :D bei der (ii) glaub ich hast du recht, was hälst du von: \forall x \forall y (Exy \rightarrow (Px \land Qy)) D.h. wenn eine Kante Exy existiert, dann hat Startknoten x die Eigen...
von eintopf
28. Aug 2011 17:24
Forum: Archiv
Thema: Prüfung WS 07 08
Antworten: 12
Zugriffe: 2012

Re: Prüfung WS 07 08

Habe die selben Wahr / Falsch Zuordnungen ... mit Formalisierung nun ja :mrgreen: Lediglich bei der (i) weiß ich, dass man dafür ja das Resolutionsverfahren nutzen kann. Hat jemand schon die 5) gemacht? Meine Ergebnisse für die 5. Aufgabe: a) i) \exists x \exists y \exists z (Px \land Py \land Pz \l...
von eintopf
28. Aug 2011 15:32
Forum: Archiv
Thema: Prüfung Ws 07/08 Sequenzenregeln beweisen
Antworten: 28
Zugriffe: 3514

Re: Prüfung Ws 07/08 Sequenzenregeln beweisen

Ansonsten: irgendwie hänge ich gerade bei der 1b). Da komme ich für phi z.b. auf: ~( (~q v ~r) ^ (p v q v r) ) Ist das jetzt trotz der Negation am Anfang eine KNF/Klauselform? Ich wüsste nämlich nicht, wie ich da noch weitermachen soll... EDIT: Für Phi bin ich jetzt folgende Schritte gegangen (q an...
von eintopf
28. Aug 2011 12:57
Forum: Archiv
Thema: Prolog in der Klausur
Antworten: 2
Zugriffe: 678

Prolog in der Klausur

Hi,

wurde in der Vorlesung etwas dazu gesagt, welche Relevanz Prolog für die Klausur hat?
Müssen wir es können, verstehen oder nichts davon?

Viele Grüße!
von eintopf
28. Aug 2011 12:13
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3774

Re: Herbrandmodell und Skolemisierung

Es wird nirgends ausgeschlossen, dass Rcc nicht gelten darf => es ist für diese Formelzusammenstellung (E4.4) egal ob Rcc gilt oder nicht, weil darüber keine Aussage getroffen wird. Dein Ziel ist es lediglich die dort stehende Formel wahr zu bekommen. Die einfachste (und maximalste) Lösung ist R = T...
von eintopf
28. Aug 2011 11:50
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3774

Re: Herbrandmodell und Skolemisierung

Überleg dir wie du am einfachsten die vierte Formel wahrmachen kannst.
Doch genau dann, wenn die Konklusion immer wahr ist, d.h. wenn für alle x,y gilt Rxy (also auch Rcc).
von eintopf
28. Aug 2011 11:11
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3774

Re: Herbrandmodell und Skolemisierung

Es muss immer eine Konstante in deiner Trägermenge sein und wenn du jetzt den Allquantor benutzt, dann gelten die dahinter stehenden Aussagen für ALLE Elemente aus deiner Trägermenge, also auch die Konstante c.

Zur erweiterten Suche