Implikationen SoSe 2017

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 $ a $ folgt $ b $. $ a $ impliziert $ b $. $ b $ ist eine Folgerung aus $ a $. Unter der Voraussetzung, dass $ a $ gilt, gilt auch $ b $. $ a $ ist hinreichend dafür, dass $ b $ gilt. $ a\Rightarrow b $ Die Aussage $ a $ heißt in der Implikation $ a\Rightarrow b $ Voraussetzung, die Aussage $ b $ wird Behauptung genannt. Beispiele Implikation 1: 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 $ Voraussetzung: $ 3|{\overline {a}} $ Behauptung: $ 3|a $ Implikation 2: Teilbarkeit einer Summe Für alle natürlichen Zahlen $ a,b,t $ gilt: Wenn $ t $ die Zahlen $ a $ und $ 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 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)