Implikationen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge)
*m.g.* (Diskussion | Beiträge)
Zeile 21: Zeile 21:
*Voraussetzung: <math>3|\overline{a}</math>
*Voraussetzung: <math>3|\overline{a}</math>
*Behauptung: <math>3|a</math>
*Behauptung: <math>3|a</math>
=== Implikation 2: Teilbarkeit einer Summe===
=== 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 />
::Wenn <math>t</math> die Zahlen <math>a</math> und <math>b</math> teilt, dann teilt <math>t</math> auch die Summe <math>a+b</math>.
::Wenn <math>t</math> die Zahlen <math>a</math> und <math>b</math> teilt, dann teilt <math>t</math> auch die Summe <math>a+b</math>.
Zeile 33: Zeile 33:
*Behauptung:<br />
*Behauptung:<br />
::<math>t|(a+b)</math>
::<math>t|(a+b)</math>
===Implikation 3: Nebenwinkelsatz===
:Wenn <math>\alpha</math> und <math>\beta</math> Nebenwinkel sind, dann ist die Summe ihrer Größen <math>180^\circ</math>
In anderer Formulierung ohne wenn-dann:
:Nebenwinkel ergänzen sich zu <math>180^\circ</math>
*Voraussetzung:
:: <math>\alpha</math> und <math>\beta</math> sind Nebenwinkel
*Behauptung:
::<math>\alpha</math> und <math>\beta</math> sind supplementär.
===Implikation 4: Scheitelwinkelsatz===
:Wenn die beiden Winkel <math>\alpha</math> und <math>\beta</math> Scheitelwinkel sind, dann haben sie dieselbe Größe.
alternative Formulierung ohne wenn-dann:
:Scheitelwinkel haben dieselbe Größe. oder
:Scheitelwinkel sind kongruent zueinander.
<!--- Was hier drunter steht muss stehen bleiben --->
<!--- Was hier drunter steht muss stehen bleiben --->
|}
|}
</div>
</div>
[[Kategorie:Einführung_S]]
[[Kategorie:Einführung_S]]

Version vom 10. Mai 2017, 14:56 Uhr

Implikationen

Generelle Kennzeichnung von Implikationen

Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:

  • Wenn $ a $ dann $ b $.
  • Aus 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 folgt 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 .
  • 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 impliziert 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 .
  • 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 ist eine Folgerung aus 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 .
  • Unter der Voraussetzung, dass 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 gilt, gilt auch 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 .
  • $ a $ ist hinreichend dafür, dass 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 gilt.
  • 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

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/“:): 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.

Beispiele

Implikation 1: Teilbarkeit durch 3

Wenn die Quersumme 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/“:): \overline{a} einer natürlichen Zahl 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 durch 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/“:): 3 teilbar ist, dann ist auch die Zahl 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 durch $ 3 $ teilbar.
In Formelsprache: 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/“:): \forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a
  • Voraussetzung: 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/“:): 3|\overline{a}
  • Behauptung: 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/“:): 3|a

Implikation 2: Satz zur Teilbarkeit von Summen

Für alle natürlichen Zahlen 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,b,t gilt:
Wenn 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/“:): t die Zahlen $ a $ und 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 teilt, dann teilt 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/“:): t auch die Summe 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+b .
In Formelsprache:
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/“:): \forall a,b,t \in \mathbb{N}:
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/“:): t|a \land t|b \Rightarrow t|(a+b)
  • Voraussetzung: Wir haben zwei Voraussetzungen die durch das logische und zu einer Voraussetzung zusammengefasst werden:
V1: 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/“:): t|a
V2: 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/“:): t|b
V: 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/“:): t|a \land t|b
  • Behauptung:
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/“:): t|(a+b)

Implikation 3: Nebenwinkelsatz

Wenn 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/“:): \alpha und $ \beta $ Nebenwinkel sind, dann ist die Summe ihrer Größen 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/“:): 180^\circ

In anderer Formulierung ohne wenn-dann:

Nebenwinkel ergänzen sich zu 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/“:): 180^\circ
  • Voraussetzung:
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/“:): \alpha und 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/“:): \beta sind Nebenwinkel
  • Behauptung:
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/“:): \alpha und 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/“:): \beta sind supplementär.

Implikation 4: Scheitelwinkelsatz

Wenn die beiden Winkel 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/“:): \alpha und 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/“:): \beta Scheitelwinkel sind, dann haben sie dieselbe Größe.

alternative Formulierung ohne wenn-dann:

Scheitelwinkel haben dieselbe Größe. oder
Scheitelwinkel sind kongruent zueinander.