Folien (.pdf)
Folien (.pdf)
Folien (.pdf)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Logik und Berechenbarkeit 21<br />
Definition 2.17 [Simultane Substitution]<br />
1. für Terme<br />
v t0,...,tℓ<br />
v0,...,vℓ<br />
c t0,...,tℓ<br />
v0,...,vℓ<br />
( ft ′ 1 ...t ′ n) t0,...,tℓ<br />
v0,...,vℓ<br />
:=<br />
:= c<br />
⎧<br />
⎨<br />
⎩<br />
v , falls v = vi (i = 0,...,ℓ)<br />
ti , falls v = vi<br />
:= ft ′ t0,...,tℓ<br />
1<br />
v0,...,vℓ<br />
...t ′ n<br />
t0,...,tℓ<br />
v0,...,vℓ