Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Substitution<br />
Substitutionen ersetzen Variablen durch Terme.<br />
Sie sind das syntaktische Gegenstück zum semantischen Konzept der<br />
Belegungen, genauer deren Modifikation.<br />
Definition 4.17 (Substitution)<br />
Eine Substitution der Signatur S ist eine endliche Abbildung<br />
θ : V → Term(S).<br />
Substitutionen werden oft direkt angegeben als θ = {x 1 /t 1 ,...,x n /t n }.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 124 / 189
Change language