Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



260   6 Korrektheit und Vollstandigkeit des Redehandlungskalkuls

Zu (ii): Sei XGFORM. Die Links-Rechts-Richtung ergibt sich direkt aus Theorem
5-11. Zur Rechts-Links-Richtung: Seien alle
Y X mit | Y| ∈ N erfullbar. Ware X nicht
erfullbar. Nach Definition 5-17 gabe es dann keine
D, I, b, so dass D, I, b к X. Damit
gilt nach Definition 5-10
X к r(c0 = c0) ∧ —(c0 = c0)^l. Mit (i) gibt es dann Y X, so
dass |
Y| ∈ N und Y к r(c0 = c0) ∧ —(c0 = c0)^l. Angenommen es gabe D, I, b, so dass D,
I, b к Y. Nach Definition 5-9 ware dann (D, I) ein Modell und b eine Belegung fur D.
Sodann ware nach Definition 5-10 auch
D, I, b к r(c0 = c0) ∧ —(c0 = c0)^l und damit mit
Theorem 5-4-(ii) und -(iii)
D, I, b к rc0 = c0^l und D, I, b к rc0 = c0^l. Widerspruch!
Damit ist
Y nicht erfullbar und es ist |Y| ∈ N, was im Widerspruch zur Annahme steht.
Also ist
X erfullbar. ■



More intriguing information

1. Improving the Impact of Market Reform on Agricultural Productivity in Africa: How Institutional Design Makes a Difference
2. Optimal Private and Public Harvesting under Spatial and Temporal Interdependence
3. Response speeds of direct and securitized real estate to shocks in the fundamentals
4. REVITALIZING FAMILY FARM AGRICULTURE
5. Co-ordinating European sectoral policies against the background of European Spatial Development
6. The name is absent
7. Spectral density bandwith choice and prewightening in the estimation of heteroskadasticity and autocorrelation consistent covariance matrices in panel data models
8. The name is absent
9. Making International Human Rights Protection More Effective: A Rational-Choice Approach to the Effectiveness of Ius Standi Provisions
10. The Dynamic Cost of the Draft
11. The Structure Performance Hypothesis and The Efficient Structure Performance Hypothesis-Revisited: The Case of Agribusiness Commodity and Food Products Truck Carriers in the South
12. Female Empowerment: Impact of a Commitment Savings Product in the Philippines
13. Database Search Strategies for Proteomic Data Sets Generated by Electron Capture Dissociation Mass Spectrometry
14. Wage mobility, Job mobility and Spatial mobility in the Portuguese economy
15. The name is absent
16. The name is absent
17. Langfristige Wachstumsaussichten der ukrainischen Wirtschaft : Potenziale und Barrieren
18. The migration of unskilled youth: Is there any wage gain?
19. Visual Perception of Humanoid Movement
20. Crime as a Social Cost of Poverty and Inequality: A Review Focusing on Developing Countries