geeignetes "Ausschließen" von Umformungen bei Syntaxaufgaben?

[jvoigtlaender]

Im Sinne dass bereits bei der Aufgabenstellung darauf hingewiesen wird, dass keine semantischen Äquivalenzen o.ä. ausgenutzt werden sollen, sondern wirklich rein syntaktische Angaben gefragt sind.

Etwa bei der Syntaxbaumaufgabe kam die Nachfrage, ob nicht neben B /\ (A<=>A) auch B /\ ((A /\ A) \/ (-A /\ -A)) eine richtige Antwort sei.

In dem Fall wurde vielleicht noch gar nicht an semantische Äquivalenz gedacht, sondern einfach der "abkürzende Operator" <=> aufgelöst.

Mit semantischer Äquivalenz wäre hier selbst B eine richtige Antwort. Das ist aber eben nicht intendiert.

Es könnte also der Standard-Aufgabentext geeignet angepasst werden, um diesen Missverständnissen vorzubeugen (vielleicht abhängig davon, wie allowArrowOperators gesetzt ist), oder allgemeiner eine variable (und optionale) Textangabe in die Konfiguration aufgenommen werden, so dass Lehrende selbst entscheiden können, welche Erläuterungen sie jeweils noch hinzufügen möchten.

[jvoigtlaender]

Zusätzlich könnte (ggfs. konfigurierbar) das Feedback erweitert werden, indem (ggfs. bereits vor der Abgabedeadline einer bepunkteten Aufgabe) jeweils darauf hingewiesen wird, wenn eine semantisch äquivalente Formel eingegeben wurde, die aber nicht syntaktisch dem Syntaxbaum (konkret bei obiger Aufgabe) entspricht.

[jvoigtlaender]

solved by #74