Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge

Mathematik-Online-Kurs: Mathematische Grundlagen - Aussagenlogik

Direkter Beweis


[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]

Eine Behauptung $ B$ kann bewiesen werden, indem sie aus bekannten wahren Aussagen $ A$ hergeleitet oder auf solche zurückgeführt wird:

$\displaystyle A \Longrightarrow B
\,.
$

Die Aussagen $ A$ können dabei auch Voraussetzungen beinhalten, die für die Gültigkeit der Behauptung $ B$ notwendig sind.
[vorangehende Seite] [nachfolgende Seite] [Gesamtverzeichnis][Seitenübersicht]

  automatisch erstellt am 5.5.2011