Aussage in Prädikatenlogik übersetzen

15.01.2015, 10:36	Anaconda55	Auf diesen Beitrag antworten »
Aussage in Prädikatenlogik übersetzen Gegeben sei die folgende umgangssprachliche Aussage: Nur Eisbären, die mit der Hand aufgezogen werden, mögen (einige) Menschen. Formalisieren Sie diese Aussage in Prädikatenlogik. Benutzen Sie als Grundmenge U alle Säugetiere in deutschen Zoos und die Prädikate: E(x): x ist ein Eisbär. M(x): x ist ein Mensch. H(x): x wurde mit der Hand aufgezogen. m(x,y): x mag y. Meine Lösung: $\begin{eqnarray} \forall x\exists y(E(x) \wedge H(x) \wedge M(y)) \Rightarrow m(x,y)) \end{eqnarray}$ Ist das so richtig?
15.01.2015, 15:25	echnaton	Auf diesen Beitrag antworten »
Ich schlage Folgendes vor. Aufgrund des Wortes "nur" in der Aussage handelt es sich um eine Äquivalenz. $\begin{eqnarray} \forall x:E(x)\wedge\bigg(H(x)\Leftrightarrow \exists y:\Big(M(y)\wedge m(x,y)\Big)\bigg) \end{eqnarray}$
02.04.2018, 12:07	Senifor	Auf diesen Beitrag antworten »
ist das ebenfalls möglich ? Hallo zusammen, ich versuche auch dahinter zu steigen und habe Schwierigkeiten, das auch zu verstehen. Deshalb meine Frage ob man folgendes auch schreiben kann ? $\begin{eqnarray} <br /> <br /> \forall x \in U : E(x) \wedge H(x) : \exists y \in U : M(y) \Leftrightarrow m(x,y)<br /> <br /> \end{eqnarray}$ Ist das falsch ? bzw. Was ist an der Aussage falsch ? Vielen Dank. Gruß, Senifor

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »