1.2 Substitution
41
Gelte die Behauptung fur Δ0, Δ1 ∈ FORM und sei Δ = r—Δ0^l ∈ JFORM. Dann ist [θ',
θ+, [θ*, ζ, Δ]] = [θ', θ+, [θ*, ζ, ` Δ ]] = r-[θ', θ+, [θ*, ζ, Δo]Γ. Mit I.V. gilt [θ', θ+, [θ*,
ζ, Δo]] = [[θ', θ+, θ*], ζ, [θ', θ+, Δo]]. Also [θ', θ+, [θ*, ζ, Δ]] = r-[[θ', θ+, θ*], ζ, [θ', θ+,
Δo]Γ = [[θ', θ+, θ*], ζ, [θ', θ+, r- Δ ]] = [[θ', θ+, θ*], ζ, [θ', θ+, Δ]]. Sei Δ = γ(Δo ψ Δ1)- ∈
JFORM. Der Fall verlauft analog zum Negatorfall.
Sei Δ = r∏ξΔoπ ∈ QFORM. Angenommen ξ = ζ. Dann ist [θ', θ+, [θ*, ζ, Δ]] = [θ', θ+,
[θ*, ζ, r∏ξΔoπ]] = [θ', θ+, r∏ξΔoπ] = r∏ξ[θ', θ+, ΔoΓ = [[θ', θ+, θ*], ζ, r∏ξ[θ', θ+, Δ I ] =
[[θ', θ+, θ*], ζ, [θ', θ+, r∏ξΔoπ ]] = [[θ', θ+, θ*], ζ, [θ', θ+, Δ]]. Angenommen ξ ≠ ζ. Der Fall
verlauft analog zum Negatorfall. ■
Theorem 1-27. Mehrfache Substitution von neuen und paarweise verschiedenen Parametern
furpaarweise verschiedene Parameter in Termen, Formeln, Satzen und Sequenzen
Wenn θ ∈ TERM, Δ ∈ FORM, Σ ∈ SATZ, S ∈ SEQ, k ∈ N∖{0} und {β*o, ., β*k} ⊆
PAR∖(TT(θ) ∪ TT(Δ) ∪ TT(Σ) ∪ TTSEQ(S)) und {βo, ., β⅛} ⊆ PAR∖{β*o, ., β*k}, wobei
β*i ≠ β*j und βi ≠ βj∙ fur alle i, j < k+1 mit i ≠ j, dann:
(i) [β*k, βk, [(β*o, ., β*k-i>, (βo, ., βfc-ι>, θ]] = [(β*o, ., β*ft>, (βo, ., βk>, θ],
(ii) [β*k, βk, [(β*0, ., β*k-i>, (βo, ., βk-i>, Δ]] = [(β*0, ., β*k>, (βo, ., βk>, Δ],
(iii) [β*k, βk, [(β*0, ., β*k-i>, (βo, ., βk-i>, Σ]] = [(β*0, ., β*k>, (βo, ., βk>, Σ] und
(iv) [β*k, βk, [<β*0, ., β*k-1>, <βo, ., βk-1>, S]] = [<β*o, ., β*k>, <βo, ., βk>, S].
Beweis: Seien θ ∈ TERM, Δ ∈ FORM, Σ ∈ SATZ, S ∈ SEQ, k ∈ N∖{0} und {β*o, .,
β*k} ⊆ PAR∖(TT(θ) ∪ TT(Δ)) und {βo, ., βfc} ⊆ PAR∖{β*o, ., β*k}, wobei β*i ≠ β*j
und βi ≠ βj fur alle i, j < k+1 mit i ≠ j. Zu (i): Der Beweis wird mittels Induktion uber den
Termaufbau von θ gefuhrt. Sei θ ∈ ATERM. Dann ist θ ∈ KONST ∪ PAR ∪ VAR. Sei
nun θ ∈ KONST ∪ VAR ∪ (PAR∖{βo, ., βfc}). Dann ist θ = [(β*o, ., β*k-ι>, (βo, .,
βk-ι>, θ] und es ist θ = [<β*o, ., β*k>, (βo, ., βk>, θ] und damit [β*k, βk, [(β*o, ., β*k-ι>,
<βo, ., βk-1>, θ]] = [β*k, βk, θ] = θ = [<β*o, ., β*k>, <βo, ., βk>, θ].
Sei nun θ ∈ {βo, ., βk}. Dann ist θ = βi fur ein i < k+1. Dann ist nach Voraussetzung
fur alle j < k+1 mit j ≠ i gilt auch θ ≠ βj. Damit ist zunachst [(β*0, ., β*k>, (β0, ., βk>, θ]
= β*i. Sei nun i < k. Dann ist [(β*o, ., β*k-ι>, (βo, ., βk-ι>, θ] = β*i und damit [β*k, βk,
[<β*o, ., β*k-ι>, <βo, ., βk-ι>, θ]] = [β*k, βk, β*i]. Aus der Voraussetzung ergibt sich nun,
dass βk ≠ β*i und damit, dass [β*k, βk, β*i] = β*i. Sei nun i = k. Dann ist [<β*o, ., β*k-ι>,
<βo, ., βk-ι>, θ] = θ = βk und somit [β*k, βk, [(β*o, ., β*k-ι>, (βo, ., βk-ι>, θ]] = [β*k, βk,
βk] = β*k = β*i.
More intriguing information
1. The name is absent2. Are combination forecasts of S&P 500 volatility statistically superior?
3. Sex-gender-sexuality: how sex, gender, and sexuality constellations are constituted in secondary schools
4. Population ageing, taxation, pensions and health costs, CHERE Working Paper 2007/10
5. Can a Robot Hear Music? Can a Robot Dance? Can a Robot Tell What it Knows or Intends to Do? Can it Feel Pride or Shame in Company?
6. An Efficient Secure Multimodal Biometric Fusion Using Palmprint and Face Image
7. Disentangling the Sources of Pro-social Behavior in the Workplace: A Field Experiment
8. Foreign Direct Investment and the Single Market
9. Reform of the EU Sugar Regime: Impacts on Sugar Production in Ireland
10. What Contribution Can Residential Field Courses Make to the Education of 11-14 Year-olds?