Ich verstehe nicht wirklich, was die Idee hinter der Allgeneralisierung im Hilbert-Kalkül ist (Vorlesung 9 Folie 7). Die anderen Schlussregeln erscheinen mir einleuchtend, aber wieso darf man aus einer beliebigen Aussage im Konsequens eine Allaussage machen? Also versteh ich das richtig, dass man z.B. aus Pa → Qb einfach Pa → ∀xQx machen kann? Ist
Read on »