Prädikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu ... - GWDG
Prädikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu ... - GWDG
Prädikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu ... - GWDG
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Das Koinzidenzlemma<br />
Substitutionslemma für Terme<br />
Beweis: strukturelle Induktion nach dem Term t.<br />
(Schmitt, S. 130)<br />
68