aof.sorular.net
Mantığın Gelişimi
Mantığın Gelişimi Deneme Sınavı
Mantığın Gelişimi Deneme Sınavı Sorusu #760135
Mantığın Gelişimi Deneme Sınavı Sorusu #760135
İkinci eksiklik teoreminde S koşulları sağlayan bir biçimsel sistem olduğunda aşağıdakilerden hangisinin söylenmesi doğrudur?
|
S sisteminde aritmetiğin tutarlı olduğunu belirten önerme kanıtlanamaz. |
|
S sisteminin dili aritmetik önermeleri dile getirmekte yetersizdir. |
|
S sisteminin dili sentetik önermeleri dile getirmekte yeterlidir. |
|
S tutarsızdır. |
|
S sistemi Peano aritmetiğini içermez. |
Yanıt Açıklaması:
S sistemi tutarlı olduğunda sistemin dilinde belirten önerme, Con(S), S sisteminde kanıtlanamaz.
Yorumlar
- 0 Yorum