\textbf{Hilbert~II} \\
\vspace*{1cm}
Presentation of \\
Formal Correct \\
Mathematical Knowledge \\
\vspace*{1cm} Logical Language
TODO
Michael Meyling
Description
Entities
Elements, Atoms and Lists
Operator Overview
Terms and Formulas
General Error Codes
Subject Variable
Function Term
Predicate Formula
Logical Connectives
Negation
Quantifiers
Class Term
Term
Formula
Representations
\end{verbatim}
The same element can be created within java code by the following.
\begin{verbatim}
Element el = new ElementListImpl("EQUI", new Element[] {
new ElementListImpl("PREDCON", new Element[] {
new AtomImpl("equal"),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("y"),
}),
new ElementListImpl("CLASS", new Element[] {
new ElementListImpl("VAR", new Element[] {
new AtomImpl("x"),
}),
new ElementListImpl("PREDVAR", new Element[] {
new AtomImpl("\\phi"),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("x"),
})
})
})
}),
new ElementListImpl("FORALL", new Element[] {
new ElementListImpl("VAR", new Element[] {
new AtomImpl("z"),
}),
new ElementListImpl("EQUI", new Element[] {
new ElementListImpl("PREDCON", new Element[] {
new AtomImpl("in"),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("z"),
}),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("y"),
})
}),
new ElementListImpl("PREDCON", new Element[] {
new AtomImpl("in"),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("z"),
}),
new ElementListImpl("CLASS", new Element[] {
new ElementListImpl("VAR", new Element[] {
new AtomImpl("x"),
}),
new ElementListImpl("PREDVAR", new Element[] {
new AtomImpl("\\phi"),
new ElementListImpl("VAR", new Element[] {
new AtomImpl("x"),
})
})
})
})
})
})
});
\end{verbatim}
]]>