Gebundene Umbenennungen

Relation α mathend000# auf Λ mathend000#:


α mathend000# ist die durch α mathend000# definierte Äquivalenzrelation

(die transitive, reflexive und symmetrische Hülle von α mathend000#)


Bsp. λx.λx.xαλy.λx.x mathend000#, λx.λx.x $ \not\equiv$αλy.λx.y mathend000#


wir betrachten ab jetzt Λ/≡α mathend000#

(d. h., Äquivalenzklassen von Termen)

(vgl. rationale Zahlen als Äquivalenzklassen von Paaren)



Johannes Waldmann 2014-03-31