Open jvoigtlaender opened 2 hours ago
Orthogonal dazu wäre es vielleicht besser, in der oben eingangs zitierten Formulierung das
müssen Formeln
durch
muss in Teilformeln
zu ersetzen.
Man könnte sogar einfach nur diese Umformulierung vornehmen und dann noch weiter unten einen pauschalen Satz hinzufügen, dass laut (unserer) Vorlesung auch weitere Klammern eingespart werden können. Ohne letzteres genauer zu spezifizieren. Aber damit ist zumindest die Tür geöffnet, nicht nur bei atomaren Teilformeln in etwa längeren Disjunktionen auf Klammern zu verzichten.
Statt eines solchen "pauschalen Satzes" im Aufgabentext selbst könnte der "Fix" auch über extraText
erfolgen. Dort wird in aktuell verwendeter Konfiguration jetzt schon gesagt:
Hinweis: Es sollen ALLE nicht nötigen Klammern entfernt werden. Nicht nur die wegen Assoziativität überflüssigen!
Das ließe sich ja ergänzen zu:
Hinweis: Es sollen ALLE nicht nötigen Klammern entfernt werden. Nicht nur die wegen Assoziativität bei atomaren Formeln überflüssigen!
Dort heißt es:
Das ist nicht falsch, aber durch den Verweis auf atomare Aussagen etwas zu eingeschränkt formuliert.
Zum Beispiel könnte bei folgender Ausgangsformel:
auf das eine Klammerpaar verzichtet werden, dies erhaltend:
Aber in dem Beispiel kamen keine "drei [oder mehr] atomare Aussagen mit den gleichen logischen Operatoren" vor (da
(D ∨ E)
ja nicht atomar ist), also ist das von der zur Erklärung gedachten Formulierung nicht wirklich abgedeckt.