Implikationen SoSe 2017: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) |
||
| Zeile 54: | Zeile 54: | ||
: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. | :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>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> | ||
<!--- 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, 15:09 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 $ a\Rightarrow b $ Voraussetzung, die Aussage $ 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:
Implikation 5: Nonsens
|
