Implikationen SoSe 2017: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (→Implikation 5: Nonsens) |
*m.g.* (Diskussion | Beiträge) (→Implikation 5: Nonsens) |
||
(2 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
Zeile 5: | Zeile 5: | ||
=Implikationen= | =Implikationen= | ||
==Generelle Kennzeichnung von Implikationen== | ==Generelle Kennzeichnung von Implikationen== | ||
− | Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz | + | Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz wie folgt darstellen bzw. beschreiben lässt: |
* Wenn <math>a</math> dann <math>b</math>. | * Wenn <math>a</math> dann <math>b</math>. | ||
* Aus <math>a</math> folgt <math>b</math>. | * Aus <math>a</math> folgt <math>b</math>. | ||
Zeile 15: | Zeile 15: | ||
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: Satz zur Teilbarkeit durch 3=== | ===Implikation 1: Satz zur Teilbarkeit durch 3=== | ||
Zeile 52: | Zeile 53: | ||
::<math>|\alpha|=|\beta|</math> bzw. <math>\alpha \cong \beta</math> | ::<math>|\alpha|=|\beta|</math> bzw. <math>\alpha \cong \beta</math> | ||
===Implikation 5: Nonsens=== | ===Implikation 5: Nonsens=== | ||
− | :Wenn die Gerade <math>g</math> durch keinen der Eckpunkte des Dreiecks <math>\overline{ABC}</math> geht und jede der drei Seiten <math>\overline{AB}, \overline{BC}, \overline{AC}</math> geht, dann ist <math>\sqrt | + | :Wenn die Gerade <math>g</math> durch keinen der Eckpunkte des Dreiecks <math>\overline{ABC}</math> geht und jede der drei Seiten <math>\overline{AB}, \overline{BC}, \overline{AC}</math> geht, dann ist <math>\sqrt{2}</math> eine rationale Zahl. |
*Voraussetzung: | *Voraussetzung: | ||
:<math>\text{nkoll}(A,B,C) \land A,B,C \not\in g \land g \cap \overline{AB} \not= \empty \land g \cap \overline{BC} \not= \empty \land g \cap \overline{AC} \not= \empty</math> | :<math>\text{nkoll}(A,B,C) \land A,B,C \not\in g \land g \cap \overline{AB} \not= \empty \land g \cap \overline{BC} \not= \empty \land g \cap \overline{AC} \not= \empty</math> | ||
+ | *Behauptung: | ||
+ | :<math>\exist n,m \in \mathbb{N}: \frac{n}{m} = \sqrt{2}</math> | ||
+ | ===Implikation 6: Satz des Thales=== | ||
+ | {{#ev:youtube|yOgu9FAK5AM}} | ||
+ | |||
<!--- Was hier drunter steht muss stehen bleiben ---> | <!--- Was hier drunter steht muss stehen bleiben ---> | ||
|} | |} | ||
</div> | </div> | ||
[[Kategorie:Einführung_S]] | [[Kategorie:Einführung_S]] |
Aktuelle Version vom 10. Mai 2017, 18:04 Uhr
ImplikationenGenerelle Kennzeichnung von ImplikationenImplikationen sind spezielle mathematische Aussagen, deren Typ sich kurz wie folgt darstellen bzw. beschreiben lässt:
Die Aussage 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:
Implikation 5: Nonsens
Implikation 6: Satz des Thales |