#import "/src/templates/exercise.typ": project, task
#import "/src/packages/inference.typ": *

#show: project.with(no: 1, show-solutions: true, show-hints: true)

#task(lines: 10, points: 3)[Grundbegriffe][
    Erklären Sie, womit sich die Logik beschäftigt. Nennen Sie außerdem die zwei Gütekriterien von Argumenten.
][][
    #lorem(100)
][
    #lorem(100)
]