https://9dok.net/document/yd78gr5g-april-übungen-vorlesung-logik-prof-klaus-madlener-blatt.html