https://9dok.net/document/yd78665l-präsenzübungen-vorlesung-logik-blatt-prof-roland-meyer-bearbeitung.html