"Literal" ambiguous
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.vb7m26.-kxmelk%7E849cea2b
The issue as described by the user:
This use of "literal" is only correct if the "p" or "neg p" definition of literals is used. Labelled formulas cannot occur inside other formulas.
The text highlighted while reporting this issue:
literals:
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/slides/pl0-normal-forms.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/slides/pl0-normal-forms.en.xhtml&bindings=0_5_4ujzekPtW1l6G -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/normal-forms.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/normal-forms.en.xhtml&bindings=0_3_fOuyvaf2i -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/atp0.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/atp0.en.xhtml&bindings=0_0_duzq -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml