Aussage negieren < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:08 Mo 15.04.2013 | | Autor: | Sauri |
| Aufgabe | Beschreiben die Negation folgender Aussage in Worten und drücken Sie die Aussage und ihre Negation mathematisch durch Mengen, Mengenoperationen und Symbole der Aussagenlogik aus.
Es gibt ein schwarzes Schaf, das gerne Kraut frisst. |
Hallo, zusammen ich quäle mich gerade mit der obigen Aussage rum.
Wie geht man an solche Aufgaben heran?
Folgender Ansatz:
Die negation in "Worten":
Alle schwarzen Schafe, fressen ungern Kraut.
Dann das ganze aussagenlogisch:
Ich habe folgende Mengen erstellt:
G := {g : g ist Schaft}
H := {h [mm] \in [/mm] G : ist schwarz} und
I := {i [mm] \in [/mm] G : frisst Kraut}
[mm] \exists [/mm] h [mm] \in [/mm] H : i [mm] \in [/mm] I.
Hat hier vielleicht jemand einen Tipp? Ich komme hier einfach nicht weiter.
Viele Grüße!
|
|
| |
|
Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Hallo Sauri,
> Beschreiben die Negation folgender Aussage in Worten und
> drücken Sie die Aussage und ihre Negation mathematisch
> durch Mengen, Mengenoperationen und Symbole der
> Aussagenlogik aus.
>
> Es gibt ein schwarzes Schaf, das gerne Kraut frisst.
> Hallo, zusammen ich quäle mich gerade mit der obigen
> Aussage rum.
> Wie geht man an solche Aufgaben heran?
>
> Folgender Ansatz:
> Die negation in "Worten":
> Alle schwarzen Schafe, fressen ungern Kraut. ![[ok]](/images/smileys/ok.gif "[ok]")
>
> Dann das ganze aussagenlogisch:
> Ich habe folgende Mengen erstellt:
>
> G := {g : g ist Schaft}
> H := {h [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
G : ist schwarz} und
> I := {i [mm]\in[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)
G : frisst Kraut}
>
> [mm]\exists[/mm] h [mm]\in[/mm] H : i [mm]\in[/mm] I.
Etwas umständlich, du könntest ja direkt [mm]G:=\text{Menge aller schwarzen Schafe}[/mm] definieren
Dann hättest du [mm]\exists g\in G: g\in I[/mm]
>
> Hat hier vielleicht jemand einen Tipp? Ich komme hier
> einfach nicht weiter.
Bei der Verneinung?
Quantor(en) umdrehen und Aussage(n) verneinen ...
>
> Viele Grüße!
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:06 Mo 15.04.2013 | | Autor: | Sauri |
Danke für die Hilfe! Ich habs jetzt glaube ich richtig gemacht! Viele Grüße!!!
|
|
|
|
