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.
Eine Art Normalform wird auch durch sogenannte Herbrand-<br />
Interpretationen ermöglicht. Da<strong>zu</strong> die Def.:<br />
Herbrand-Strukturen:<br />
76