Prädikatenlogik: Aufstellen von Aussagen und Resolution

18.03.2013, 20:09	caro91	Auf diesen Beitrag antworten »
Prädikatenlogik: Aufstellen von Aussagen und Resolution Hallo, ich habe einige Schwierigkeiten mit der Prädikatenlogin folgender Aussagen und hoffe hier mittels LATEX alles richtig gemacht zu haben. Die Resolution soll dann später folgen. Was ich bisher weis. Ein $\begin{eqnarray} \forall \end{eqnarray}$ erzeugt meist ein Implikation $\begin{eqnarray} \Rightarrow \end{eqnarray}$ , ein $\begin{eqnarray} \exists \end{eqnarray}$ meist ein UND $\begin{eqnarray} \wedge \end{eqnarray}$ . Nun ist es so, dass ich diese Aussagen später in die KNF bringen muss und dann schließlich die Resolution durchführen soll. Jetzt bekomme ich aber Schwierigkeiten bei dem Prädikat vorl[x] sowie info[y] das diesen beiden eine andere Bedeutung haben. Sprich, Vorlesung können alle Vorlesungen sein, sowie Infovorlesunge, Vorlesungen wie ki,ti etc beudeuten. Nächstes Problem ist die 3 Aussage mit Kai. Kai darf nicht mit Inforvorlesung unifiziert werden, da Kai ja kein Fach sondern ein Dozent ist. Sprich muss ich noch ein neues Prädikat erfinden wie doz(z) oder ähnlich? Dann kommt noch Ziel. Hier verwende ich keinen Quantor und das kann auch nicht richtig sein. Wie gesagt bin ich nicht ganz unbefleckt in dem Thema aber ich stelle mich einfach zu blöde an hier die Lösung zu finden. Ich wäre wirklich über jede Erklärung und jeden Tipp dankbar. 1. Einige Studenten besuchen die Informatikvorlesungen regelmäßig $\begin{eqnarray} <br /> \exists (x) Student(x) \wedge (\forall (y) infovorl(y) \Rightarrow besucht(x,y))<br /> \end{eqnarray}$ 2.Kein Student besucht eine Vorlesung die langweilig ist. $\begin{eqnarray} <br /> -\exists (x) (Studenten(x) \wedge \exists (y) vorl(y) \wedge langweilig(y) \wedge besucht(x,y) )<br /> \end{eqnarray}$ 2.1 Jede Vorlesung ist auch eine Informatikvorlesung (Impliziertes Wissen, Für alle x gilt wenn x eine vorl dann ist info_vorl x. $\begin{eqnarray} <br /> \forall (x) (vorl(x)\Rightarrow infovorl(x))<br /> \end{eqnarray}$ 3.Die Informatikvorlesung von Kai wird von allen Studenten regelmäßig besucht. $\begin{eqnarray} <br /> \forall (x,y) (Studenten(x) \wedge Infovorl(Kai) \Rightarrow besucht(x,Kai))<br /> \end{eqnarray}$ Ziel:Beweisen Sie, dass keine Vorlesung von Kai langweilig ist. $\begin{eqnarray} <br /> vorl(Kai) \wedge - langweilig (Kai)<br /> \end{eqnarray}$
19.03.2013, 20:44	caro91	Auf diesen Beitrag antworten »
Niemand da der helfen kann?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »