MANTIĞIN GELİŞİMİ Dersi ÇAĞDAŞ MANTIK soru detayı:

PAYLAŞ:

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. 


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 AB 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.