Bei LegalPropositionConfig in einer Instanz als Teil der Aufgabenstellung:
Aber dann im Feedback:
Man beachte die abweichende Klammerung beim C in der Formel.
Damit das Feedback wirklich als Beleg der Korrektheit dieser Zeile dienen kann, wäre es sinnvoll, wenn dort im Feedback die Formel exakt gleich geklammert wäre wie in der ursprünglichen Aufgabenstellung.
Außerdem wäre vermutlich sinnvoll, die Nummerierung aus der ursprünglichen Auflistung auch an die Formeln bei den Syntaxbäumen zu schreiben, damit die Zuordnung leichter fällt.
Bei
LegalPropositionConfigin einer Instanz als Teil der Aufgabenstellung:Aber dann im Feedback:
Man beachte die abweichende Klammerung beim
Cin der Formel.Damit das Feedback wirklich als Beleg der Korrektheit dieser Zeile dienen kann, wäre es sinnvoll, wenn dort im Feedback die Formel exakt gleich geklammert wäre wie in der ursprünglichen Aufgabenstellung.
Außerdem wäre vermutlich sinnvoll, die Nummerierung aus der ursprünglichen Auflistung auch an die Formeln bei den Syntaxbäumen zu schreiben, damit die Zuordnung leichter fällt.