Open jvoigtlaender opened 2 weeks ago
... ist nicht durchgehend konsistent.
Manchmal wird es im Sinne von "atomare Formel oder deren Negation" verwendet, manchmal für "atomare Formel".
In der Vorlesung ist A eine atomare Formel und sowohl A also auch ~A sind Literale.
A
~A
Eine Stelle, an der die Unstimmigkeit an die Nutzenden leaked, ist: https://github.com/fmidue/logic-tasks/blob/5e374e375f593af21789fee34c148a1b0c191541/src/Config.hs#L248-L251 Aus Sicht der Vorlesung müsste hier usedAtoms statt usedLiterals stehen.
usedAtoms
usedLiterals
Vielleicht gibt es noch weitere "Leaks".
... ist nicht durchgehend konsistent.
Manchmal wird es im Sinne von "atomare Formel oder deren Negation" verwendet, manchmal für "atomare Formel".
In der Vorlesung ist
Aeine atomare Formel und sowohlAalso auch~Asind Literale.Eine Stelle, an der die Unstimmigkeit an die Nutzenden leaked, ist: https://github.com/fmidue/logic-tasks/blob/5e374e375f593af21789fee34c148a1b0c191541/src/Config.hs#L248-L251 Aus Sicht der Vorlesung müsste hier
usedAtomsstattusedLiteralsstehen.Vielleicht gibt es noch weitere "Leaks".