de Morganschen Regeln < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe | Benutzen Sie den Satz der doppelten Verneinung, so wie Kommutativität, Assoziativität und Distributivität, um zu zeigen, dass die zwei de Morgan'schen Regel zueinander äquivalent sind. |
Hallo Leute
Ich sitzte jetzt schon eine Ganze weile vor dieser Aufgabe und habe irgent wie das gefühl das ich ein Brett vorm Kopf habe. Wenn mir irgent jemand einen Tipp geben könnte wie ich an die Sache rangehen sollte währe ich euch dankbar.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 11:43 Di 29.10.2013 | Autor: | meili |
Hallo und
> Benutzen Sie den Satz der doppelten Verneinung, so wie
> Kommutativität, Assoziativität und Distributivität, um
> zu zeigen, dass die zwei de Morgan'schen Regel zueinander
> äquivalent sind.
> Hallo Leute
>
> Ich sitzte jetzt schon eine Ganze weile vor dieser Aufgabe
> und habe irgent wie das gefühl das ich ein Brett vorm Kopf
> habe. Wenn mir irgent jemand einen Tipp geben könnte wie
> ich an die Sache rangehen sollte währe ich euch dankbar.
Wie immer in so einer Situation:
Erstmal alle vorkommenden Begriffe nachschlagen und die Definitionen
aufschreiben, oder Sätze, falls welche vorkommen.
Also hier:
Satz der doppelten Verneinung, Kommutativität, Assoziativität,
Distributivität und de Morgan'sche Regeln.
Dann die Frage so mathematisch genau wie möglich formulieren.
Das kann über mehrere Zwischenschritte geschehen.
Hier z.B.:
Zu zeigen: [mm] $(\neg(a \vee [/mm] b) = [mm] \neg [/mm] a [mm] \wedge \neg [/mm] b) [mm] \gdw (\neg(a \wedge [/mm] b) = [mm] \neg [/mm] a [mm] \vee \neg [/mm] b)$
Wenn das dann alles vor einem steht, bekommt man vielleicht eine Idee,
fällt einem zu mindestens eine Methode ein.
Manchmal hilft es auch die Sache rückwärts auf zudröseln.
Oder man stösst auf Probleme, zu denen man dann konkrete Fragen stellen kann.
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Gruß
meili
|
|
|
|