Glücklicher Hund < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 10:45 Do 23.06.2011 | | Autor: | Flamy |
| Aufgabe | (a) [5 Punkte] "Ein kleiner glücklicher Hund ist zuhause". Definieren Sie eine Signatur in der Sie diese Aussage als eine Formel F schreiben können (und formulieren Sie F).
(b) [3 Punkte] Schreiben Sie die Formel für jeden Hund, der zuhause ist, ist glücklich. |
Hallo,
ich habe zur oben beschriebenen Aufgabenstellung folgende Lösungen erstellt und würde gerne wissen ob ich damit richtig liege.
a) Ich habe mir vier 1-Stellige Prädikate erstellt.
G(x) : x ist glücklich
Z(x) : x ist zuhause
K(x) : x ist klein
H(x) : x ist zuhause
Also Formel und Signatur habe ich mir dann folgendes gedacht.
[mm] $\summe [/mm] = [mm] \{ G,Z,K,H \}
[/mm]
[mm] $\exists [/mm] x (H(x) [mm] \wedge [/mm] G(x) [mm] \wedge [/mm] H(x) [mm] \wedge [/mm] Z(x))$
b) In Aufgabenteil b habe ich meine Ergebnisse aus a verwendet und bin zu folgender Formel gekommen.
[mm] $\forall [/mm] x (H(x) [mm] \wedge [/mm] Z(x) [mm] \Rightarrow [/mm] G(x) )$
Ich würde mich freuen wenn da mal jemand drüber schauen könnte und mir entsprechendes Feedback geben könnte.
Vielen Dank im Voraus!
Jan
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo Jan,
> (a) [5 Punkte] "Ein kleiner glücklicher Hund ist zuhause".
> Definieren Sie eine Signatur in der Sie diese Aussage als
> eine Formel F schreiben können (und formulieren Sie F).
> (b) [3 Punkte] Schreiben Sie die Formel für jeden Hund,
> der zuhause ist, ist glücklich.
> Hallo,
>
> ich habe zur oben beschriebenen Aufgabenstellung folgende
> Lösungen erstellt und würde gerne wissen ob ich damit
> richtig liege.
>
> a) Ich habe mir vier 1-Stellige Prädikate erstellt.
>
> G(x) : x ist glücklich
> Z(x) : x ist zuhause
> K(x) : x ist klein
> H(x) : x ist zuhause
sollte das nicht heissen H(x): x ist ein Hund? Sonst hättest du zuhause ja doppelt...
>
> Also Formel und Signatur habe ich mir dann folgendes
> gedacht.
>
> [mm]$\summe[/mm] = [mm]\{ G,Z,K,H \}[/mm]
>
> [mm]\exists x (H(x) \wedge G(x) \wedge H(x) \wedge Z(x))[/mm]
warum hier zweimal H(x); es gilt: A [mm] \wedge [/mm] A = A
ich würde das: "ein kleiner (und) glücklicher (und) Hund" als Prämisse für die Implikation [mm] \Rightarrow [/mm] ist zu Hause ansehen
[mm] \forall [/mm] x (K(x) [mm] \wedge [/mm] G(x) [mm] \wedge [/mm] H(x) [mm] \Rightarrow [/mm] Z(x))
>
> b) In Aufgabenteil b habe ich meine Ergebnisse aus a
> verwendet und bin zu folgender Formel gekommen.
>
> [mm]\forall x (H(x) \wedge Z(x) \Rightarrow G(x) )[/mm]
das sieht gut aus, unter der Voraussetzung H(x): x ist ein Hund....
>
> Ich würde mich freuen wenn da mal jemand drüber schauen
> könnte und mir entsprechendes Feedback geben könnte.
>
> Vielen Dank im Voraus!
>
> Jan
>
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Gruß Christian
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 09:31 Fr 24.06.2011 | | Autor: | Flamy |
Erstmal vielen Dank für die Hilfe! In Aufgabenteil a habe ich mich beim abschreiben meiner Aufzeichnungen vertippt. H(x) soll wirklich bedeuten x ist ein Hund.
Warum verwendest du denn in Teil a deiner Antwort [mm] \forall [/mm] und nicht den [mm] \exists [/mm] Quantor? Die Aufgabe redet ja von ein Hund.
Viele Grüße
Jan
|
|
|
| |
|
Moin,
ich hätte die Aussage (a) folgendermaßen verstanden:
"Wenn ein (beliebiges) x ein Hund und klein und glücklich ist, dann ist es (dieses x) auch zuhause" [mm] \rightarrow \forall
[/mm]
Geht man statt von x von der Menge aller Hunde {H [mm] \subset [/mm] x} aus, dann muss man [mm] \exists [/mm] benutzen, weil es um einen konkreten Hund geht.
Zumindest würde ich die obigen Aussagen so verstehen...
Gruß Christian
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 17:06 Mo 27.06.2011 | | Autor: | spb |
| Aufgabe | (a) ,,Ein kleiner glücklicher Hund ist zuhause". Defi nieren Sie eine Signatur in der Sie diese
Aussage als eine Formel F schreiben können (und formulieren Sie F).
(b) Schreiben Sie die Formel für jeden Hund, der zuhause ist, ist glücklich. |
Hallo liebe Community, kann mir jemand helfen?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:53 Mo 27.06.2011 | | Autor: | felixf |
Moin,
> (a) ,,Ein kleiner glücklicher Hund ist zuhause".
> Defi nieren Sie eine Signatur in der Sie diese
> Aussage als eine Formel F schreiben können (und
> formulieren Sie F).
> (b) Schreiben Sie die Formel für jeden Hund, der zuhause
> ist, ist glücklich.
>
> Hallo liebe Community, kann mir jemand helfen?
die Frage wurde hier schonmal gestellt, ich habe deine Frage an den Thread angehaengt. Lies dir mal durch was im alten Thread geschrieben wurde, vielleicht beantwortet das schon all deine Fragen... :)
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 17:22 Mi 29.06.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
