Prädikatenlogik Überprüfung

07.07.2011, 18:17	SinusHyperbolicus	Auf diesen Beitrag antworten »
Prädikatenlogik Überprüfung Meine Frage: Hi, ich wäre euch sehr dankbar, wenn ihr kurz über meine Aussagen drüberschauen könntet und mich evt. auf Fehler aufmerksam machen könntet Gegeben sind die folgenden Prädikate: p(x) x ist ein Politiker m(x,y) x mag y k(x) x ist knausrig f(x) x ist eine Firma Meine Ideen: Aussage 1 $\begin{eqnarray} \exists x: p(x) \end{eqnarray}$ Es gibt Menschen die Politiker sind Aussage 2 $\begin{eqnarray} \forall x: (p(x) \Rightarrow ( \forall y: (k(y) \Rightarrow !m(x,y)))) \end{eqnarray}$ Für alle Politiker gilt, dass sie alle knausrigen Menschen nicht mögen. Aussage 3: $\begin{eqnarray} \forall x: (p(x) \Rightarrow (\exists y: (f(y) \wedge m(x, y)))) \end{eqnarray}$ Für Alle Politiker gilt, dass sie einige Firmen mögen Aussage 4 $\begin{eqnarray} \exists x: f(x) \wedge !k(x) \end{eqnarray}$ Es gibt mindestens eine Firma die nicht knausrig ist Aussage 5(natürliche Sprache in Prädikatenlogik) Für Menschen kann man im allgemeinen sagen, dass wenn jemand Politiker und knausrig ist oder weder noch, es stets eine Firma gibt, die er mag. $\begin{eqnarray} \forall x \exists y: [p(x) \wedge k(x)] \vee [!p(x) \wedge !k(x)] \Rightarrow f(y) \wedge m(x,y) \end{eqnarray}$ Aussage 6 Zwei knausrige Politiker mögen niemals dieselbe Firma. $\begin{eqnarray} k(Politiker1) \wedge k(Politiker2) \wedge !m(Politiker1, DieFirma) \wedge !m(Politiker2, DieFirma) \end{eqnarray}$ Für Anmerkungen bin ich sehr dankbar.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »