Logik Beweis und Inklusion |
06.05.2014, 00:46 | logikling | Auf diesen Beitrag antworten » | ||||
Logik Beweis und Inklusion Ich bin da grade an einer Aufgabe: Beweise das: und Und ich soll rausfinden welche der implikationen zutrifft, wenn die doppelimplikation falsch ist. Die bedeutung von Inklusionen ist ja, z.B. beim ersten Term, x ist in A und in B. Mehr sagt mir das jetzt leider auch nix. Ist das "und" hier ein logisches "und"?? Ich hab mal in der Lösung nachgeschaut und dort steht: Die rechte Seite ist wahr weil und Soviel zum ersten Teil, ich hab keine Ahnung wie die da drauf gekommen sind. LG Zwei Beiträge zusammengefügt, damit Antwortzähler auf Null steht. Steffen Das erste soll natürlich und heissen, sry. |
||||||
06.05.2014, 16:09 | bijektion | Auf diesen Beitrag antworten » | ||||
Was soll den bedeuten? |
||||||
06.05.2014, 16:28 | logikling | Auf diesen Beitrag antworten » | ||||
Hallo Das hab ich unten noch verbessert Das was unter dem von Steffen steht kommt links neben den Doppelpfeil ! Also noch mal: und Ich weiß nicht wie ich Beweise mit inklusion mache , also ich weiß nur das wenn x in B ist und B eine Teilmenge von A ist, dann ist x auch in A, hilft mir das ? Gruß |
||||||
06.05.2014, 16:36 | bijektion | Auf diesen Beitrag antworten » | ||||
Du solltest immer eine Richtung beweisen. Also : Nehm an es ist und . Sei jetzt , was gilt dann für ? |
||||||
06.05.2014, 17:00 | logikling | Auf diesen Beitrag antworten » | ||||
Dann müsste gelten oder? Gruß |
||||||
06.05.2014, 17:04 | bijektion | Auf diesen Beitrag antworten » | ||||
Es gilt . |
||||||
Anzeige | ||||||
|
||||||
06.05.2014, 17:14 | logikling | Auf diesen Beitrag antworten » | ||||
Ahso, ja ohhps, klar, es gilt: und so mit durch logik symbole und definition ausgedrückt : ok, gecheckt ! Gruß |
||||||
06.05.2014, 17:16 | bijektion | Auf diesen Beitrag antworten » | ||||
Das gilt für alle ; damit folgt sofort die Behauptung. Alles Klar? |
||||||
06.05.2014, 17:45 | logikling | Auf diesen Beitrag antworten » | ||||
Hm wieso folgt denn daraus jetzt die Behauptung? Muss ich nicht die linke Seite in die Rechte umformen? Gruß |
||||||
06.05.2014, 17:47 | bijektion | Auf diesen Beitrag antworten » | ||||
Wenn für alle stets auch und gilt, dann wird wohl gelten. Ist dir das nicht klar, warum das gilt? |
||||||
06.05.2014, 18:01 | logikling | Auf diesen Beitrag antworten » | ||||
Halt moment das stimmt nicht, es gilt dann: ist dann mit Definition . Ok also Mengentechnisch kann ich mir vorstellen warum das richtig ist, weil x ja eh in B und C und in der Vereinigung ist. Geht es noch algebraisch, durch umformen? Gruß |
||||||
06.05.2014, 18:02 | bijektion | Auf diesen Beitrag antworten » | ||||
Das stimmt, aber was wir haben ist noch stärker
Wie? |
||||||
06.05.2014, 18:15 | logikling | Auf diesen Beitrag antworten » | ||||
Gibt es denn ein logisches Symbol für die Inklusion? Oder eine entsprechung davon? Gruß |
||||||
06.05.2014, 18:19 | bijektion | Auf diesen Beitrag antworten » | ||||
Meinst du sowas: ? |
||||||
06.05.2014, 18:22 | logikling | Auf diesen Beitrag antworten » | ||||
Hhm, nee glaub nicht, ist auch egal Vielen Dank für die Hilfe byebye |
||||||
06.05.2014, 18:28 | bijektion | Auf diesen Beitrag antworten » | ||||
Kein Problem |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|