User reported SUGGESTION pl0/slides/pl0-syntax.en.xhtml
A content SUGGESTION was logged by "a user" at the following url:
The issue as described by the user:
This might be very pedantic, but I'm not sure if the definition really provides a unique set. I would add something like "Let wff_0(V_0) be the smallest set, such that:...", else there could be some statements included, that are not supposed to. Consider the following definition of natural numbers: Let N\subset\mathbb{R} be the set, for which 0\in N and (n\in N \Rightarrow n+1\in N) holds, then the natural numbers are the smallest (regarding inclusion) set satisfying this definition, but also Z oder Q will satisfy the definition.
The text highlighted while reporting this issue:
We define the set
wff0(V0)
of
well-formed propositional formulae
(wffs) as
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/pl0-syntax.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/pl0-syntax.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.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