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