Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



206   4 Theoreme zur deduktiven Konsequenzschaft

gilt mit VAN() Y, dass fur alle Γ VAN() gilt: X H Γ und damit X Mh VAN().
Damit gilt dann
X H Β. ■

Theorem 4-20. Cut

Wenn X{Β} H Α und Y H Β, dann XY H Α.

Beweis: Gelte X{Β} H Α und Y H Β. Dann gilt mit Theorem 4-18-(i): X{Β} H rΒ
Α^l und damit mit Theorem 4-16, dass X H rΒ Α^l. Damit gilt mit Theorem 4-18-(ii):
X Y H Α. ■

Theorem 4-21. Deduktionstheorem und Umkehrung

X {Α} H Β gdw X H rΑ Β1.

Beweis: Gelte zunachst X{Α} H Β. Dann gilt mit Theorem 4-18-(i): X\{Α} H rΑ
If und damit mit Theorem 4-16, dass X H rΑ Β^l. Gelte nun umgekehrt X H rΑ
Β^l. Dann ist nach Definition 3-21 und Theorem 3-9 rΑ Β^l GFORM und damit auch
Α
GFORM. Damit gilt mit Theorem 4-15: {Α} H Α und somit mit Theorem 4-18-(ii):
X{Α} H Β. ■

Theorem 4-22. Inkonsistenz und Ableitbarkeit

X H Α gdw X{rΑ^l} ist inkonsistent.

Beweis: (L-R): Gelte zunachst X H Α. Dann ist mit Definition 3-21 und Theorem 3-9 X
GFORM und Α GFORM. Dann ist rΑ^lGFORM und damit gilt mit Theorem
4-16, dass
X{rΑ^l} H Α, und mit Theorem 4-15: X{rΑ^l} H rΑ^l. Damit gilt
nach Definition 3-24, dass
X{rΑ^l} inkonsistent ist.

(R-L): Sei nun X{rΑ^l} inkonsistent. Dann gilt nach Definition 3-24, dass X
{rΑ^l} GFORM und dass es ein Γ GFORM gibt, so dass X{rΑ^l} H Γ und X
{rΑ^l} H rΓ^l. Dann gilt mit Theorem 4-18-(xi): X\{rΑ^l} H r——Α^l und damit
mit Theorem 4-16:
X H r——Α^l. Daraus folgt mit Theorem 4-18-(xii), dass X H Α. ■



More intriguing information

1. Fiscal Policy Rules in Practice
2. New urban settlements in Belarus: some trends and changes
3. A Duality Approach to Testing the Economic Behaviour of Dairy-Marketing Co-operatives: The Case of Ireland
4. A Pure Test for the Elasticity of Yield Spreads
5. The quick and the dead: when reaction beats intention
6. The name is absent
7. The name is absent
8. Discourse Patterns in First Language Use at Hcme and Second Language Learning at School: an Ethnographic Approach
9. The Economic Value of Basin Protection to Improve the Quality and Reliability of Potable Water Supply: Some Evidence from Ecuador
10. Staying on the Dole