Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Question regarding Assignment 9.1
Hi, I have a question regarding Assignment 9.1:
Which Axioms should we assume for the Hilbert calculus H^0?
In the lecture notes I could only find 2 axioms (K and S) on slide 302 as well as MP and substitution.
Wikpedia mentions different axioms for the hilbert calculus: https://en.wikipedia.org/wiki/Hilbert_system
For 9.1., assume the set up from the lectures. That is, axioms K and S from the lectures and the rules MP and substitution.