Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



3.3 VERS, VANS, VER und VAN in Ableitungen und bei einzelnen Ubergangen 143

Theorem 3-16. VANS-Vermehrung nur bei AR

Wenn ft SEQ und ft' RGF(ft), dann:

(i)   Wenn VANS(ft) VANS(ft'), dann ft' AF(ft), und

(ii)   Wenn VAN(ft) VAN(ft'), dann ft' AF(ft).

Beweis: Sei ft SEQ und ft' RGF(ft). Zu (i): Sei VANS(ft) VANS(ft'). Dann gibt
es (
i, ft'i) VANS(ft')VANS(ft). Dann ist (i, ft'i) ANS(ft'). Sodann gilt mit Theorem
3-14-(ii): (
i, ft'i) = (Dom(ft), ftŋom(ft)) und somit (Dom(ft), ft'D>m()) ANS(ft'). Dann ist
mit Definition 3-1
ft' AF(ft). Zu (ii): Sei VAN(ft) VAN(ft'). Dann ist mit Theorem
2-75 VANS(
ft') £ VANS(ft) und somit gibt es (i, ft'i) VANS(ft')VANS(ft). Damit
ergibt sich die Behauptung wie zu (i). ■

Theorem 3-17. VERS, VANS, VER und VAN bei Ubergangen ohne AR

Wenn ft SEQ und ft' RGF(ft)AF(ft), dann:

(i)   VERS(ft') VERS(ft) {(Dom(ft), ft⅛s))},

(ii)   VANS(ft') VANS(ft),

(iii) VER(ft') VER(ft) {K(ft')} und

(iv) VAN(ft') VAN(ft).

Beweis: Sei ft' RGF(ft)AF(ft). (i) und (iii) folgen mit Theorem 3-14-(i) und -(iii). Zu
(ii)
: Mit ft' RGF(ft)AF(ft) und Definition 3-1 bis Definition 3-18 gilt, dass (Dom(ft),
ft'Dom(ft)) = (Dom(ft), rAlso A(ft'Dom(ft))π) ANS(ft') und somit (Dom(ft), ft Dom(ft))
VANS(ft'). Damit ist mit Theorem 3-14-(ii) VANS(ft') VANS(ft). Zu (iv): (iv) ergibt
sich mit Theorem 2-75 aus (ii). ■

Theorem 3-18. Nicht-Ieeres VANS ist hinreichend fur SE

Wenn ft SEQ und VANS(ft) ≠ 0, dann ist ft {(Dom(ft), rAlso A(ft1max(Dom(VANS(ft))))
K(ft)"l)} SEF(ft).

Beweis: Sei ft SEQ und VANS(ft) ≠ 0. Dann ist (max(Dom(VANS(ft))),
ftmax(Dom(VANS(ft)))) VANS(ft) und es ist A(ftDom(ft)-1) = K(ft) und es gibt kein l mit
max(Dom(VANS(
ft))) < l ≤ Dom(ft)-1, so dass (l, ftl) VANS(ft). Damit ist mit
Definition 3-2
ft {(Dom(ft), rAlso A(ftmax(Dom(VANS()))) K(ft)π)} SEF(ft). ■



More intriguing information

1. The ultimate determinants of central bank independence
2. The Variable-Rate Decision for Multiple Inputs with Multiple Management Zones
3. A Unified Model For Developmental Robotics
4. The name is absent
5. The name is absent
6. ARE VOLATILITY EXPECTATIONS CHARACTERIZED BY REGIME SHIFTS? EVIDENCE FROM IMPLIED VOLATILITY INDICES
7. The name is absent
8. Declining Discount Rates: Evidence from the UK
9. Industrial Cores and Peripheries in Brazil
10. The name is absent