fmidue / logic-tasks

0 stars 1 forks source link

Vermeidung Anklang an semantische Korrektheit bei reinen Syntax-Aufgaben #64

Closed jvoigtlaender closed 9 months ago

jvoigtlaender commented 9 months ago

Bei der Aufgabe zum Raussuchen der syntaktisch falschen Formeln gibt es Anweisungen

Some of these are syntactically incorrect. Which of these formulae are invalid?

bzw.

Einige davon enthalten syntaktische Fehler. Geben Sie an, welche Formeln nicht korrekt sind.

Wahrscheinlich vor allem in der englischen Formulierung könnte man "invalid" auch semantisch verstehen. Also etwa im Sinne von "ungültig", "nicht gültig", "unerfüllbar". In der deutschen Formulierung vielleicht nicht so sehr. Dennoch:

Vielleicht in der deutschen Formulierung statt "nicht korrekt sind" schreiben "nicht korrekt geformt sind", und in der englischen Version etwas Entsprechendes?

(Ob noch andere Aufgabentypen betroffen sind, weiß ich nicht.)