User reported ERROR atp0/slides/literals.en.xhtml
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.-1axoeg%7E3f6d2697
The issue as described by the user:
atoms/negated atoms should be singular
The text highlighted while reporting this issue:
A
literal
is an
atoms
𝐀
(positive
literal) or
negated
atoms
¬𝐀
(negative
literal).
𝐀
and
¬𝐀
are
opposite literals.
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/atp0/slides/literals.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=atp0/slides/literals.en.xhtml&bindings=0_4_4lCkzcqCGE30 -
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