Ing Mathematik: Logisches Schließen

Aus Wikibooks

Wechseln zu: Navigation, Suche

Zurück zu Aussagen und Aussagenverknüpfung |

Hoch zu Gesamtinhaltsverzeichnis |

Vor zu Quantoren

Inhaltsverzeichnis

1 Notwendige und hinreichende Bedingungen
2 Grundlegende Schlussregeln

[Bearbeiten] Notwendige und hinreichende Bedingungen

Die Implikation $A\Rightarrow B$ ist bereits bekannt (aus A folgt B; A impliziert B)). Man nennt A hier auch die Voraussetzung und B die Folgerung des Satzes.

Notwendige Bedingung: Eine Bedingung B ist für einen Sachverhalt S notwendig, wenn $S\Rightarrow B$ gilt.

Hinreichende Bedingung: Eine Bedingung B ist für einen Sachverhalt S hinreichend, wenn $B\Rightarrow S$ gilt.

Notwendige und hinreichende Bedingung: Eine Bedingung B ist für einen Sachverhalt S notwendig und hinreichend, wenn $S\Leftrightarrow B$ gilt.

	$S\Rightarrow B$	$B\Rightarrow S$	$S\Leftrightarrow B$
B ist wahr	?	S ist wahr	S ist wahr
B ist falsch	S ist falsch	?	S ist falsch

[Bearbeiten] Grundlegende Schlussregeln

Bei logischen Schlüssen (Konklusionen) stellen die Schlussregeln immer sicher, dass aus wahren Aussagen wieder wahre Aussagen folgen. Darin unterscheiden sie sich grundlegend von Schlussfolgerungen, die jeder immer wieder im normalen Leben zieht. Die "alltäglichen" Schlussfolgerungen können sich nämlich auch als falsch herausstellen (geozentrisches Weltbild, Hexenverfolgung, kein Alibi = schuldig, etc.)

[Bearbeiten] Abtrennungsregel

Die Abtrennungsregel wird auch als Modus ponens bezeichnet.

Ist A wahr und ist auch $A\rightarrow B$ wahr, so ist auch B wahr.

$A\wedge (A\rightarrow B)\Rightarrow B$

[Bearbeiten] Widerlegungsregel

Die Widerlegungsregel wird auch als Modus tollens bezeichnet.

Ist $A\rightarrow B$ wahr und ist auch $\neg B$ wahr, so ist $\neg A$ wahr.

$(A\rightarrow B) \wedge \neg B \Rightarrow \neg A$

[Bearbeiten] Kontrapositionsregel

Ist $A\rightarrow B$ wahr , so ist auch $\neg B\rightarrow \neg A$ wahr.

$(A\rightarrow B) \Rightarrow \neg B \rightarrow \neg A$

[Bearbeiten] Kettenschluss

Ist $A\rightarrow B$ wahr und ist auch $B\rightarrow C$ wahr, so ist $A\rightarrow C$ wahr.

$(A\rightarrow B)\wedge (B\rightarrow C) \Rightarrow A\rightarrow C$ .

[Bearbeiten] Fallunterscheidung

Sind $A\vee B$ , $A\rightarrow C$ , sowie $B\rightarrow C$ wahr, so ist auch C wahr.

$(A\vee B)\wedge (A\rightarrow C)\wedge (B\rightarrow C)\Rightarrow C$ .

[Bearbeiten] Reduction ad absurdum

Folgt aus A sowohl B als auch $\neg$ B, so ist $\neg$ A wahr.

$(A\rightarrow B)\wedge (A\rightarrow \neg B) \Rightarrow \neg A$ .

[Bearbeiten] Übungen

Beweisen Sie die Schlussregeln durch Aufstellen der Wahrheitstafeln.
Könnte man die Widerlegungsregel auch zu $(A\rightarrow B) \wedge \neg A \Rightarrow \neg B$ umformulieren?