1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
\documentclass[a5paper, landscape]{handout}
\csname endofdump\endcsname
\usepackage{marvosym}
\newtcolorbox{beweis}{colback=gray!5!white,
colframe=gray!75!black}
\title{Beweisarten}
\begin{document}
\thispagestyle{empty}
% \makedate
\begin{tabularx}{\textwidth}{p{4cm} X X}
\boldred{Direkter} Beweis && \\
\begin{tikzpicture}
\node at (0, 2) {\textbf{Voraussetzung}};
\node[anchor=east] at (-0.3, 1) {log.};
\foreach \y in {1,...,4}
\node[circle, draw, minimum size=0.45cm, inner sep=0cm] at (0, 0.4*\y){};
\node[anchor=west] at (0.3, 1) {Kette};
\node {\textbf{Behauptung}};
\end{tikzpicture} &
\begin{beweis}
Der erste Tag des Monats ist ein Sonntag.
Alle weiteren Sonntage wären: $S=\{8, 15, 22, 29\}$.
Da ein Monat maximal 31 Tage hat kann er somit nur maximal fünf Sonntage haben. \end{beweis} &
\vspace{-3cm}\begin{defbox}{}Aus der \textbf{Voraussetzung} wird logisch die \textbf{Behauptung} abgeleitet.\end{defbox} \\[2cm]
\boldred{Indirekter} Beweis && \\
\begin{tikzpicture}
\node at (0, 2.5) {\textbf{\textcolor{orange!70!black}{gegenteilige}}};
\node at (0, 2) {\textbf{Behauptung}};
\node[anchor=east] at (-0.3, 1) {log.};
\foreach \y in {1,...,4}
\node[circle, draw, minimum size=0.45cm, inner sep=0cm] at (0, 0.4*\y){};
\node[anchor=west] at (0.3, 1) {Kette};
\node {\textbf{Widerspruch \Huge \boldred{\Lightning}}};
\end{tikzpicture} &
\begin{beweis}
Angenommen ein Monat hat sechs Sonntage.
Zwischen den sechs Sonntagen liegen fünf Wochen.
Fünf Wochen entsprechen 35 Tagen.
Ein Monat hat aber nur maximal 31 Tage.
\end{beweis} &
\vspace{-3cm}
\begin{defbox}{}
Aus dem \textbf{\textcolor{orange!70!black}{Gegenteil}} der Behauptung wird logisch ein \boldred{Widerspruch} abgeleitet.
\end{defbox} \\
\end{tabularx}
\end{document}
|
