\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}