www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen
   Einstieg
   
   Index aller Artikel
   
   Hilfe / Dokumentation
   Richtlinien
   Textgestaltung
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Benutzer:tobit09/Beweis-Anleitung_Benutze-Anleitung
Mach mit! und verbessere/erweitere diesen Artikel!
Artikel • Seite bearbeiten • Versionen/Autoren

Benutzer:tobit09/Beweis-Anleitung Benutze-Anleitung

Wie führe ich einen Beweis?

$ \leftarrow $ 3. Wie zeige ich...? $ \uparrow $ Inhaltsverzeichnis $ \rightarrow $ 5. Beispiele

4. Wie benutze ich...?



a) Wie benutze ich eine "und"-Aussage?

Eine Voraussetzung der Form $ A\wedge B $ kannst du als zwei gleichzeitig bestehende Voraussetzungen $ A $ und $ B $ betrachten.

Beispiel: Gleichheit von Mengen


b) Wie benutze ich eine "oder"-Aussage?

Eine Voraussetzung der Form $ A\vee B $ legt eine Fallunterscheidung nach $ A $ und $ B $ nahe. Zeige in beiden Fällen getrennt nacheinander die Behauptung.

Beispiele: Teilmengenbeziehung 1, Gleichheit von Mengen


c) Wie benutze ich eine "es folgt"-Aussage?

Eine Voraussetzung der Form $ A\Rightarrow B $ kannst du nutzen, indem du $ A $ zeigst und $ B $ folgerst.

Beispiel: Injektivität, Bilder und Urbilder


d) Wie benutze ich eine "genau dann, wenn"-Aussage?

Eine Voraussetzung der Form $ A\gdw B $ liefert dir $ A\Rightarrow B $ und $ B\Rightarrow A $, was du wie unter c) beschrieben nutzen kannst.


e) Wie benutze ich eine "nicht"-Aussage?

Bei einer Voraussetzung der Form $ \neg A $ solltest du dir klar machen, was $ \neg A $ im konkreten Fall bedeutet:
$ \neg(B\wedge C) $ bedeutet $ (\neg B)\vee(\neg C) $.
$ \neg(B\vee C) $ bedeutet $ (\neg B)\wedge(\neg C) $.
$ \neg(B\Rightarrow C) $ bedeutet $ B\wedge(\neg C) $.
$ \neg(\forall x\in M\colon A(x)) $ bedeutet $ \exists x\in M\colon (\neg A(x)) $.
$ \neg(\exists x\in M\colon A(x)) $ bedeute $ \forall x\in M\colon (\neg A(x)) $.

Beispiel: Gleichheit von Mengen


f) Wie benutze ich eine "für alle"-Aussage?

Eine Voraussetzung der Form $ \forall x\in M\colon A(x) $ kannst du nutzen, indem du ein Element $ x\in M $ findest und auf $ A(x) $ für dieses Element schließt.

Beispiele: Surjektivität, Injektivität, Bilder und Urbilder


g) Wie benutze ich eine "es existiert"-Aussage?

Eine Voraussetzung der Form $ \exists x\in M\colon A(x) $ kannst du nutzen, indem du als zusätzliche Voraussetzung annimmst, dass ein Element $ x\in M $ mit $ A(x) $ gegeben ist.

Beispiele: Surjektivität, Injektivität, Bilder und Urbilder


h) Wie benutze ich die Gleichheit zweier Objekte?

Eine Voraussetzung der Form $ x=y $ sagt dir, dass für jede wahre Aussage $ A(x) $ auch $ A(y) $ gilt und umgekehrt.

Beispiel: Injektivität, Bilder und Urbilder

Erstellt: Do 08.11.2012 von tobit09
Letzte Änderung: Sa 10.11.2012 um 21:35 von tobit09
Artikel • Seite bearbeiten • Versionen/Autoren • Titel ändern • Artikel löschen • Quelltext

^ Seitenanfang ^
www.mathebank.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]