search

fmidue / logic-tasks

0 stars 1 forks source link

irreführende Eingabe-Legende #86

Closed jvoigtlaender closed 7 months ago

jvoigtlaender commented 7 months ago

Bei der Resolutionsschritt-Aufgabe enthält die Aufgabenstellung dies:

image

Also \/ und oder werden als "mögliche Schreibweisen" genannt, aber in Wirklichkeit wird nicht akzeptiert, wenn etwa {A, nicht B} als {A oder nicht B} oder A oder nicht B geschrieben wird.

Sprich, es gibt hier keine sinnvolle Möglichkeit, \/ oder oder in der Lösungseingabe zu verwenden. Der Erklärtext suggeriert aber anderes.

nimec01 commented 7 months ago

Die "erlaubten" Schreibweisen bei Oder zu , zu ändern, würde wahrscheinlich zu Verwirrung führen. Was meiner Meinung nach am sinnvollsten wäre, ist den Oder-Teil durch Nicht-leere Klausel zu ersetzen, wobei dort dann eher ein Beispiel passen würde.

Oder gibt es diesbezüglich andere Vorstellungen @jvoigtlaender ?

jvoigtlaender commented 7 months ago

Am besten vielleicht so ähnlich einfach (statt des Oder-Teils):

Nicht-leere Klausel:
  { ... }

Was für die ... stehen darf, sollte dann eigentlich klar genug sein, da weiter unten ja auch schon das konkrete Beispiel mit {A, nicht B} angezeigt wird.