Implikationen SoSe 2017: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) |
||
| Zeile 16: | Zeile 16: | ||
Die Aussage <math>a</math> heißt in der Implikation <math>a \Rightarrow b</math> Voraussetzung, die Aussage <math>b</math> wird Behauptung genannt. | Die Aussage <math>a</math> heißt in der Implikation <math>a \Rightarrow b</math> Voraussetzung, die Aussage <math>b</math> wird Behauptung genannt. | ||
==Beispiele== | ==Beispiele== | ||
===Implikation 1: Teilbarkeit durch 3=== | ===Implikation 1: Satz zur Teilbarkeit durch 3=== | ||
:Wenn die Quersumme <math>\overline{a}</math>einer natürlichen Zahl <math>a</math> durch <math>3</math> teilbar ist, dann ist auch die Zahl <math>a</math> durch <math>3</math> teilbar.<br /> | :Wenn die Quersumme <math>\overline{a}</math>einer natürlichen Zahl <math>a</math> durch <math>3</math> teilbar ist, dann ist auch die Zahl <math>a</math> durch <math>3</math> teilbar.<br /> | ||
:In Formelsprache: <math>\forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a</math> | :In Formelsprache: <math>\forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a</math> | ||
*Voraussetzung: <math>3|\overline{a}</math> | *Voraussetzung: <math>3|\overline{a}</math> | ||
*Behauptung: <math>3|a</math> | *Behauptung: <math>3|a</math> | ||
=== Implikation 2: Satz zur Teilbarkeit von Summen=== | === Implikation 2: Satz zur Teilbarkeit von Summen=== | ||
:Für alle natürlichen Zahlen <math>a,b,t</math> gilt:<br /> | :Für alle natürlichen Zahlen <math>a,b,t</math> gilt:<br /> | ||
Version vom 10. Mai 2017, 14:59 Uhr
ImplikationenGenerelle Kennzeichnung von ImplikationenImplikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:
Die Aussage $ a $ heißt in der Implikation Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): a \Rightarrow b Voraussetzung, die Aussage Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): b wird Behauptung genannt. BeispieleImplikation 1: Satz zur Teilbarkeit durch 3
Implikation 2: Satz zur Teilbarkeit von Summen
Implikation 3: Nebenwinkelsatz
In anderer Formulierung ohne wenn-dann:
Implikation 4: Scheitelwinkelsatz
alternative Formulierung ohne wenn-dann:
|
