Implikationen SoSe 2017: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 4: Zeile 4:
  
 
=Implikationen=
 
=Implikationen=
 +
Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:
 +
* Wenn <math>a</math> dann <math>b</math>.
 +
* Aus <math>a</math> folgt <math>b</math>.
 +
* <math>a</math> impliziert <math>b</math>.
 +
* <math>b</math> ist eine Folgerung aus <math>a</math>.
 +
* <math>a \Rightarrow b</math>
 
==Beispiele==
 
==Beispiele==
 
===Teilbarkeit durch 3===
 
===Teilbarkeit durch 3===

Version vom 10. Mai 2017, 16:28 Uhr

Implikationen

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

  • Wenn a dann b.
  • Aus a folgt b.
  • a impliziert b.
  • b ist eine Folgerung aus a.
  • a \Rightarrow b

Beispiele

Teilbarkeit durch 3

Wenn die Quersumme \overline{a}einer natürlichen Zahl a durch 3 teilbar ist, dann ist auch die Zahl a durch 3 teilbar.
In Formelsprache: \forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a