Themenbereiche Themenbereiche Profile Hilfe/Anleitungen Help    
Recent Posts Last 1|3|7 Days Suche Suche Tree Tree View  

Logik (Widerspruchsbeweis)

ZahlReich - Mathematik Hausaufgabenhilfe » Universitäts-Niveau » Mathematik für Informatiker » Logik (Widerspruchsbeweis) « Zurück Vor »

Das Archiv für dieses Kapitel findest Du hier.

Autor Beitrag
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Coldstone2509 (Coldstone2509)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Junior Mitglied
Benutzername: Coldstone2509

Nummer des Beitrags: 9
Registriert: 10-2003
Veröffentlicht am Samstag, den 08. November, 2003 - 12:29:   Beitrag drucken

knn mir jemnd hierbei behilflich sein???
Die aufgabe lautet:
Seien f:M->N und g:N->S Abbildungen.
Zeigen Sie durch Widerspruchsbeweis: Ist g o f bijektiv, so ist g surjektiv.

Und dann noch bitte:
Was ist die Negation von deisem Satz:
Das Dreieck ist rechtwinklig und gleichschenklig.
Und diesem Satz: Boris kann russisch oder deutsch sprechen.
Danke im Voraus, und wuerde mich freuen wenn ihr auch erklaeren koenntet wie man es macht!!!
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Martin243 (Martin243)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Senior Mitglied
Benutzername: Martin243

Nummer des Beitrags: 843
Registriert: 02-2001
Veröffentlicht am Samstag, den 08. November, 2003 - 14:16:   Beitrag drucken

 Hi!

Zuerst zu den Aussagen:
Dreieck:
Das Dreieck muss beide Bedingungen erfüllen, damit die Aussage wahr ist. Also reicht es, wenn eine der beiden Bedingungen (oder auch beide) nicht nicht erfüllt ist, damit die Gesamtaussage negiert ist.
Wenn man das mal formal machen möchte: R bedeutet "Dreieck ist rechtwinklig" und G bedeutet "Dreieck ist gleichschenklig":
not (R and G) = (not R) or (not G)

Das ist eines der beiden de-Morgansches Gesetze (frag mich nicht, ob das erste oder das zweite).


Boris:
Die Aussage ist falsch, wenn keine der beiden Bedingungen erfüllt ist, beide also unerfüllt sind. Formal (Bezeichnungen sind klar, oder):
not (R or D) = (not R) and (not D)

Das ist das andere de-Morgansche Gesetz.
________
Die Natur spricht die Sprache der Mathematik:
Die Buchstaben dieser Sprache sind Dreiecke, Kreise und andere mathematische Figuren.
Galileo Galilei
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Sotux (Sotux)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Erfahrenes Mitglied
Benutzername: Sotux

Nummer des Beitrags: 138
Registriert: 04-2003
Veröffentlicht am Samstag, den 08. November, 2003 - 21:21:   Beitrag drucken

Ist g nicht surjektiv, dann ist S/g(N) nicht leer. g°f(M) ist aber Teilmenge von g(N) wegen f(M) Teilmenge von N, also ist S/g°f(M) nicht leer und also g°f nicht surjektiv, im Widerspruch zur Bijektivität von g°f
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Coldstone2509 (Coldstone2509)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Junior Mitglied
Benutzername: Coldstone2509

Nummer des Beitrags: 10
Registriert: 10-2003
Veröffentlicht am Samstag, den 08. November, 2003 - 23:10:   Beitrag drucken

thanks martin hast mir schon wieder geholfen!!! und sotux ist das jetzt der widerspruchsbeweis das ich brauche??? wenn ja danke
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Coldstone2509 (Coldstone2509)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Junior Mitglied
Benutzername: Coldstone2509

Nummer des Beitrags: 11
Registriert: 10-2003
Veröffentlicht am Sonntag, den 09. November, 2003 - 10:52:   Beitrag drucken

und was bedeutet dass S/g(N) bzw. S/g°f(M)???
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Martin243 (Martin243)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Senior Mitglied
Benutzername: Martin243

Nummer des Beitrags: 848
Registriert: 02-2001
Veröffentlicht am Sonntag, den 09. November, 2003 - 11:45:   Beitrag drucken

Wahrscheinlich sollte es
S \ g(N) heißen, also die Menge S ohne die Abbildung von N unter g, also alle Zahlen aus S, die nicht Funktionswerte von g angewandt auf N sind.
Analog der zweite Ausdruck.


MfG
Martin
________
Die Natur spricht die Sprache der Mathematik:
Die Buchstaben dieser Sprache sind Dreiecke, Kreise und andere mathematische Figuren.
Galileo Galilei

Beitrag verfassen
Das Senden ist in diesem Themengebiet nicht unterstützt. Kontaktieren Sie den Diskussions-Moderator für weitere Informationen.

ad

Administration Administration Abmelden Abmelden   Previous Page Previous Page Next Page Next Page