·
01
, &
natürliche Zahlen
123 45 ...
g
-
ra
Q*
natürliche Zahlen inkl . O
0 1 2 34 ...
O
Le Zahlen
, ist Element
Variable von
* * Zahlenzangen
xEM
·
um
Werte bereich Bsp : XER
XE IN
Griechisches Alphabet
27
, Vorausseting Alsaber A
direkt
T
wird als
WAHR
aus A folgt is
angenommen
Beweise
A
impliziert
↑
B
m
Wenn dannB d
schrittweise FA
mit # Beweis
Voraussetzungen Herleitung der
↑ Ende
k
Behauptung was zu beweisen war
good evat demonstrandum 1
vollständi ge
durch Induktion
Kontraposition
Induktionsanfang :
Alm) richtig
01
, &
natürliche Zahlen
123 45 ...
g
-
ra
Q*
natürliche Zahlen inkl . O
0 1 2 34 ...
O
Le Zahlen
, ist Element
Variable von
* * Zahlenzangen
xEM
·
um
Werte bereich Bsp : XER
XE IN
Griechisches Alphabet
27
, Vorausseting Alsaber A
direkt
T
wird als
WAHR
aus A folgt is
angenommen
Beweise
A
impliziert
↑
B
m
Wenn dannB d
schrittweise FA
mit # Beweis
Voraussetzungen Herleitung der
↑ Ende
k
Behauptung was zu beweisen war
good evat demonstrandum 1
vollständi ge
durch Induktion
Kontraposition
Induktionsanfang :
Alm) richtig