TermX 
16:54 Uhr, 09.03.2019
|
Hallo,
in meinem Skript steht folgender Beweis für die Regel von De Morgan (siehe Bild).
Meiner Meinung nach stimmt aber die Menge in Zeile 3 nicht mit den anderen Mengen überein. Es müsste doch statt dem UND ein ODER stehen. Was meint ihr?
Danke vorab
|
|
|
Hallo,
das logische Zeichen "" in der Zeile ist falsch. bedeutet, dass es nicht gleichzeitig(!) in und liegen darf, also, dass gelten muss.
Mfg Michael
PS: Um die Verwandschaft zur Logik deutlicher zu machen, halte ich folgende Schreibweise für angebrachter:
|
TermX 
17:26 Uhr, 09.03.2019
|
Hi, danke für deine Antwort.
Zu deiner Darstellung: Du schreibts auf einen der Äquivalenzpfeile "de morgan". Aber man kann doch nicht die de morgan regel mit der de moran regel begründen, oder habe ich da was falsch verstanden?
|
|
Hallo,
nun, darum geht es aber gerade. Die de Morganschen Regeln der Mengenlehre gelten, weil sie eine Entsprechung in der Logik haben. Dort sind sie aber viel einfacher mittels Wahrheitstabellen bewiesen werden.
Mfg Michael
|
TermX 
18:59 Uhr, 09.03.2019
|
. du beweist die de morgan regel der mengenlehre mit hilfe der der morgan regel der logik?
|
|
Hallo TermX: Genauso ist es. Du beweist die De Morgan Regel der Mengenlehre mit der De Morgan Regel der Logik. Die De Morgan Regel der Logik beweist du mit der Wahrheitstafel. Wenn du diese beiden Beweise haben möchtest, brauchst du dich nur melden. In dem von dir geposteten Beweis fehlen ein paar Zwischenschritte, und die Schritte können außerdem einzeln begründet werden, so dass man sie nachvollziehen kann.
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|