140 3 Der Redehandlungskalkul
Definition 3-22. Logische Beweisbarkeit
H Γ gdw 0 H Γ.
Definition 3-23. Konsistenz
X ist konsistent
gdw
X ⊆ GFORM und es gibt kein Γ ∈ GFORM, so dass X H Γ und X H r— Γ.
Definition 3-24. Inkonsistenz
X ist inkonsistent
gdw
X ⊆ GFORM und es gibt ein Γ ∈ GFORM, so dass X H Γ und X H r— Γ.
Theorem 3-13. Aussagenmengen sind genau dann inkonsistent, wenn sie nicht konsistent sind
Wenn X ⊆ GFORM, dann: X ist inkonsistent gdw X ist nicht konsistent.
Beweis: Ergibt sich direkt aus Definition 3-23 und Definition 3-24. ■
Definition 3-25. Deduktive Konsequenz fur Mengen
X MH Y gdw X ∪ Y ⊆ GFORM und fur alle Δ ∈ Y gilt: X H Δ.
Definition 3-26. Logische Beweisbarkeit fur Mengen
mH X gdw 0 mH X.
Definition 3-27. Der Abschluss einer Aussagenmenge unter deduktiver Konsequenz
Xh = {Δ | Δ ∈ GFORM und X H Δ}.
Bevor in Kap. 4 und 6 die ublichen Eigenschaften fur den hier etablierten deduktiven
Konsequenzbegriff bewiesen werden, folgt nun mit Kap. 3.3 zunachst noch ein Abschnitt
zur Funktionsweise des Kalkuls.
More intriguing information
1. The name is absent2. The Impact of Minimum Wages on Wage Inequality and Employment in the Formal and Informal Sector in Costa Rica
3. The name is absent
4. MATHEMATICS AS AN EXACT AND PRECISE LANGUAGE OF NATURE
5. Computational Experiments with the Fuzzy Love and Romance
6. Giant intra-abdominal hydatid cysts with multivisceral locations
7. The name is absent
8. The name is absent
9. The name is absent
10. Non Linear Contracting and Endogenous Buyer Power between Manufacturers and Retailers: Empirical Evidence on Food Retailing in France