MANTIĞIN GELİŞİMİ Dersi ÇAĞDAŞ MANTIK soru detayı:
SORU: Hilbert ve Ackerman'ın ilk kez 1928’de yayımlanan Grundzüge der Theoretischen Logik (Matematiksel Mantığın İlkeleri) içinde ortaya koydukları belit sistemin çıkarım kuralları hakkında bilgi veriniz.
Hilbert ve Ackerman'ın ilk kez 1928’de yayımlanan Grundzüge der Theoretischen Logik (Matematiksel Mantığın İlkeleri) içinde ortaya koydukları belit sistemin çıkarım kuralları hakkında bilgi veriniz.
CEVAP: Sistemin çıkarım kuralları
Yerine koyma kuralı: A önermesindeki önerme değişkenleri yerine eşzamanlı olarak aynı önerme değişkeninin her geçtiği yerde aynı önermenin konmasıyla elde edilen önerme, A önermesinin bir sonucudur.
Modus ponens: B formülü A ve A›B formüllerinin sonucudur. x birey değişkeninin A formülünün serbest değişkenleri arasında olmaması koşuluyla, A › 6x B (x) formülü A ›B (x) formülünün bir sonucudur.
x birey değişkeninin A formülünün serbest değişkenleri arasında olmaması koşuluyla, ? x B (x) ›A formülü B (x) ›A formülünün bir sonucudur.
Sistemin çıkarım kuralları
Yerine koyma kuralı: A önermesindeki önerme değişkenleri yerine eşzamanlı olarak aynı önerme değişkeninin her geçtiği yerde aynı önermenin konmasıyla elde edilen önerme, A önermesinin bir sonucudur.
Modus ponens: B formülü A ve A›B formüllerinin sonucudur. x birey değişkeninin A formülünün serbest değişkenleri arasında olmaması koşuluyla, A › 6x B (x) formülü A ›B (x) formülünün bir sonucudur.
x birey değişkeninin A formülünün serbest değişkenleri arasında olmaması koşuluyla, ? x B (x) ›A formülü B (x) ›A formülünün bir sonucudur.