logik2021/notes/woche4.pdf