Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



202  4 Theoreme zur deduktiven Konsequenzschaft

Y H rл —Г) л —л —Г)п. Mit (i) ergibt sich sodann: (X и Y){Α} H rΑ ((Г л
Г) л —л —Г))п. Damit gibt es mit Theorem 3-12 ein ft ∈ RGS{0}, so dass VAN(ft)
(X и Y){Α} und K(ft) = rΑ ((Γ л —Г) л —л — Γ))^l. Dann lasst sich ft wie folgt
zu einem
ft5 SEQ mit ft5ΓDom(ft) = ft fortsetzen:

ft1

= ft

и

{(Dom (ft),

rSei Α)}

ft2

= ft1

и

{(Dom(ft1),

rAlso (Г л —Г) л —л — Г)1)!

ft3

= ft2

и

{(Dom(ft2),

rAlso Г л —Г)}

ft4

= ft3

и

{(Dom(ft3),

rAlso л —Г)п)}

ft5

= ft4

и

{(Dom(ft4),

rAlso Α)}.

Zunachst ist ft5Dom(ft) ASATZ. Nach Annahme ist sodann K(ft1) = Α ≠ K(ft2). Mit
Theorem 1-8, Theorem 1-10 und Theorem 1-11 ist sodann K(
ft2) K(ft3) und K(ft3)
K(ft4). Zudem sind K(ft2) und K(ft3) weder Subjunktionen noch Negationen und K(ft4)
ist keine Subjunktion und nach Annahme ist K(
ft4) = гл —Г)п r∙.V. Damit gilt
mit Theorem 2-42, Definition 2-11, Definition 2-12 und Definition 2-13, dass fur alle
k
mit 1 ≤ k ≤ 4 gilt: Es gibt keinen geschlossenen Abschnitt 21 in ftk fur den min(Dom(2l))
= Dom(
ft). Mit Theorem 2-47 gilt damit fur alle k mit 1 ≤ k ≤ 4: Es gibt keinen geschlos-
senen Abschnitt 21 in
ftk fur den mιn(Dom(2l)) ≤ Dom(ft) ≤ max(Dom(^)). Damit ergibt
sich auch, dass fur alle
k mit 1 ≤ k ≤ 4 gilt, dass Dom(ft) = max(Dom(VANS(ftk))). Mit
Theorem 3-19-(i), Theorem 3-20-(i), Theorem 3-21-(i) und Theorem 2-61 gilt dann fur al-
le
k mit 2 ≤ k ≤ 4: ftkSEF(ftk-1) и NEF(ftk-1) и PBF(ftk-1).

Hingegen ist erstens nach Definition 3-1 ft1 AF(ft) RGS{0} und mit Theorem
3-15 VERS(
ft1) = VERS(ft) и {(Dom(ft), rSei Α)} und VANS(ft1) = VANS(ft) и
{(Dom(ft), rSei Α)}, ΓΑ ((Г л —Г) л —л —Г))п VER(ft) VER(ft1) und Α
VER(ft1). Also ist zweitens nach Definition 3-3 ft2 SBF(ft1) RGS{0} und mit
Theorem 3-25 VERS(
ft2) = VERS(ft1) и {(Dom(ft1), rAlso (Г л —Г) л —л — Г)п)}.
Damit gilt VANS(
ft2) = VANS(ft1) und гл —Г) л —л —Г)п VER(ft2). Also ist
drittens nach Definition 3-5 ft3 KBF(ft2) RGS{0} und mit Theorem 3-25
VERS(
ft3) = VERS(ft2) и {(Dom(ft2), ^lso Г л —Г1)}. Damit gilt VANS(ft3) =
VANS(
ft2), гл —Г) л —л —Г)п VER(ft2) VER(ft3) und T л — Г
VER(ft3). Also ist viertens nach Definition 3-5 ft4 KBF(ft3) RGS{0} und mit
Theorem 3-25 VERS(
ft4) = VERS(ft3) и {(Dom(ft3), rʌɪso л — Г)п)}. Damit gilt



More intriguing information

1. The name is absent
2. The Dictator and the Parties A Study on Policy Co-operation in Mineral Economies
3. Income Mobility of Owners of Small Businesses when Boundaries between Occupations are Vague
4. Multiple Arrhythmogenic Substrate for Tachycardia in a
5. AGRICULTURAL TRADE LIBERALIZATION UNDER NAFTA: REPORTING ON THE REPORT CARD
6. Impact of Ethanol Production on U.S. and Regional Gasoline Prices and On the Profitability of U.S. Oil Refinery Industry
7. A COMPARATIVE STUDY OF ALTERNATIVE ECONOMETRIC PACKAGES: AN APPLICATION TO ITALIAN DEPOSIT INTEREST RATES
8. Dual Track Reforms: With and Without Losers
9. LOCAL PROGRAMS AND ACTIVITIES TO HELP FARM PEOPLE ADJUST
10. Plasmid-Encoded Multidrug Resistance of Salmonella typhi and some Enteric Bacteria in and around Kolkata, India: A Preliminary Study