User reported ERROR atp1/slides/fotab-cut.en.xhtml
A content ERROR was logged by "a user" at the following url:
The issue as described by the user:
and becomes implies (step 2 to step 3) without any explanation
The text highlighted while reporting this issue:
(∃x
(p(a)∧p(b)⇒p(x))∧(q(b)⇒q(x)))F(p(a)∧p(b)⇒p(y)∧(q(b)⇒q(y)))F(p(a)⇒p(b)⇒p(y))F
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/atp1/slides/fotab-cut.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=atp1/slides/fotab-cut.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/fotab-implementation.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/fotab-implementation.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/fol-tableaux.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/fol-tableaux.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/atp1.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/atp1.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes.tex
FetchURL: :sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes.xhtml