Folien (.pdf)
Folien (.pdf)
Folien (.pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik und Berechenbarkeit 2<br />
2.1.2 Terme<br />
funktionale Signatur: ΣF ⊆ {(ci,0) | i ∈ N}<br />
∪ {( f<br />
<br />
Konstanten<br />
(n)<br />
i ,n) | i,n ∈ N ∧ n ≥ 1}<br />
Variablen: X ⊆ {vi | i ∈ N}<br />
Definition 2.1 [Definition der prädikatenlogischen Terme]<br />
1. Induktionsanfang (Atome) Variablensymbole und<br />
Konstantensymbole sind Terme.<br />
2. Induktionsschritt Sind t1,t2,...,tn Terme und ist f (n)<br />
j ein<br />
Funktionensymbol, so ist f (n)<br />
j t1 ...tn ein (Σ-)Term.<br />
<br />
mehrstellige Funktionen<br />
3. Abschluß Eine Zeichenreihe ist nur dann ein Term, wenn dies auf<br />
Grund von 1. oder 2. der Fall ist. ❏