Formulierung in Aufgabenstellung dubios

[jvoigtlaender]

Dies hier:

logic-tasks/src/LogicTasks/Semantics/Prolog.hs

Lines 93 to 94 in 75678fc

	german "Nutzen Sie zur Angabe der Klauseln die Mengenschreibweise. Ein Lösungsversuch mit den Klauseln {a(x), b(x)} und {-a(x), b(x), c(x)} könnte beispielsweise so aussehen:"
	english "Specify the clauses using set notation. A valid solution with the clauses {a(x), b(x)} and {-a(x), b(x), c(x)} could look like this:"

weicht von der (doch eigentlich äquivalenten?) Situation in

logic-tasks/src/LogicTasks/Semantics/Step.hs

Lines 85 to 86 in 75678fc

	german "Nutzen Sie zur Angabe der Resolvente die Mengenschreibweise! Ein Lösungsversuch könnte beispielsweise so aussehen: "
	english "Specify the resolvent using set notation! A valid solution could look like this: "

ab.

Übersehe ich irgendwas?