https://9dok.net/document/qvl7559d-präsenzübungen-vorlesung-logik-roland-bearbeitung-präsenzaufgabe-inkonsistenz-zeigen.html