136 3 Der Redehandlungskalkul
Theorem 3-11. Eindeutigkeitssatzfur den Redehandlungskalkul13
Wenn A ∈ SEQ, dann:
(i) Es gibt kein Γ und kein X, so dass A eine Ableitung von Γ aus X ist,
oder
(ii) Es gibt genau ein Γ und genau ein X, so dass A eine Ableitung von Γ aus X ist.
Beweis: Sei .ħ ∈ SEQ. Dann gibt es kein Γ und kein X, so dass ⅛ eine Ableitung von Γ
aus X ist oder es gibt ein Γ und ein X, so dass .ħ eine Ableitung von Γ aus X ist. Im ers-
ten Fall gilt die Behauptung. Gebe es nun fur den zweiten Fall ein Γ und ein X, so dass .ħ
eine Ableitung von Γ aus X ist. Dann ist nach Definition 3-20 .ħ ∈ RGS∖{0}, Γ = K(.ħ)
und VAN(⅛) = X. Nun ist noch die Eindeutigkeit zu zeigen, damit die Einzigkeit folgt.
Seien dazu Γ' und X' so, dass .ħ eine Ableitung von Γ' aus X' ist. Dann ist Γ' = K(.ħ) = Γ
und X' = VAN(⅛) = X. ■
Dieses Ergebnis sei zunachst illustriert. Sei dazu ξ ∈ VAR, Δ ∈ FORM, wobei FV(Δ) ⊆
{ξ}, und sei β ∈ PAR∖TT(Δ). Sei nun ^[3.1] die folgende Sequenz:
Beispiel |
[3.1] | |
0 |
Sei |
Λξ-Δ |
1 |
Sei |
VξΔ |
2 |
Sei |
[β, ξ, Δ] |
3 |
Sei |
VξΔ |
4 |
Also |
VξΔ ∧ [β, ξ, Δ] |
5 |
Also |
[β, ξ, Δ] |
6 |
Also |
-[β, ξ, Δ] |
7 |
Also |
-VξΔ |
8 |
Also |
-VξΔ |
9 |
Also |
-VξΔ |
Kommentar: Nach Theorem 3-11 sollte sich nun eindeutig ein Γ und ein X finden lassen,
so dass ⅛[3.1] eine Ableitung von Γ aus X ist. Dies ist tatsachlich der Fall, denn ^[3.1] ist
13 Zur Formulierung eines entsprechenden Theorems fur eine Regulierung des Pradikats '.. ist eine Ablei-
tung von .. aus ..', bei der die an dritter Stelle genannte Aussagenmenge nicht mit der Menge der in der
an erster Stelle genannten Sequenz verfugbaren Annahmen identisch, sondern nur eine Obermenge der-
selben sein muss, siehe Fuβnote 4.
More intriguing information
1. Robust Econometrics2. Announcement effects of convertible bond loans versus warrant-bond loans: An empirical analysis for the Dutch market
3. New urban settlements in Belarus: some trends and changes
4. Human Resource Management Practices and Wage Dispersion in U.S. Establishments
5. The name is absent
6. Electricity output in Spain: Economic analysis of the activity after liberalization
7. INTERACTION EFFECTS OF PROMOTION, RESEARCH, AND PRICE SUPPORT PROGRAMS FOR U.S. COTTON
8. THE CHANGING RELATIONSHIP BETWEEN FEDERAL, STATE AND LOCAL GOVERNMENTS
9. The name is absent
10. Conditions for learning: partnerships for engaging secondary pupils with contemporary art.