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.
Unifikationssatz:<br />
Beweis: s. Schmitt (2008), S. 118.<br />
Semantik der Prädikatenlogik erster <strong>Stufe</strong><br />
Beispiel:<br />
Analog <strong>zu</strong>r <strong>Aussagenlogik</strong> definieren wir<br />
Interpretationen als Abbildungen der<br />
Signatursymbole in eine feste Menge.<br />
64