AOF.SORULAR.NET
aof.sorular.net Mantığın Gelişimi Mantığın Gelişimi Deneme Sınavı Mantığın Gelişimi Deneme Sınavı Sorusu #1011439

Mantığın Gelişimi Deneme Sınavı Sorusu #1011439

Aritmetiği içerecek yeterlilikte tutarlı hiçbir biçimsel sistemde, aritmetiğin tutarlı olduğunu belirten önerme kanıtlanamaz, önermesi hangisine aittir?


Sistemin çıkarım kuralları

Modus ponens

Birinci eksiklik teoremi

Tamlık Teoremi

İkinci eksiklik teoremi

Yanıt Açıklaması:

İkinci eksiklik teoremi: Aritmetiği içerecek yeterlilikte tutarlı hiçbir biçimsel sistemde, aritmetiğin tutarlı olduğunu belirten önerme kanıtlanamaz.

PAYLAŞ:

SORUNUN CEVABI: E

Sınava Dön Hata Bildir
Yorumlar
  • 0 Yorum