Question

Difficulty: EasyÇözümleyici Çizelge ile Tutarlılık, Geçerlilik ve Eşdeğerlik Denetleme

Çözümleyici çizelge (semantik tablo) yöntemiyle bir önermenin geçerliliğini denetlemek isteyen bir öğrenci, önermenin de��ili olan \sim işaretini koyarak çizelgeyi oluşturmuş ve çözümleme sonucunda tüm yolların kapandığını (x) görmüştür.

Buna göre, yapılan bu denetleme işlemi ve elde edilen sonuçla ilgili aşağıdakilerden hangisi doğrudur?

  1. A
    Önermenin değili tutarlıdır, dolayısıyla önermenin kendisi geçersizdir.
  2. Önermenin değili tutarsızdır, dolayısıyla önermenin kendisi geçerlidir.Answer
  3. C
    Geçerlilik denetlemesinde önermenin değili değil, kendisi çözümlenmesi gerektiğinden yapılan işlem yanlıştır.
  4. D
    Önermenin değili tutarsızdır, dolayısıyla önermenin kendisi geçersizdir.
  5. E
    Önermenin kendisi tutarlıdır, dolayısıyla önermenin değili geçerlidir.

Answer

Önermenin değili tutarsızdır, dolayısıyla önermenin kendisi geçerlidir.
Çözümleyici çizelgede bir önermenin geçerliliğini denetlemek amacıyla önermenin değili (\sim) çizelgeye yazılır. Çözümleme bittiğinde tüm yollar kapandıysa bu, değil önermesinin tutarsız olduğunu gösterir. Değili tutarsız olan önermenin kendisi ise her yorumlamada doğru değerini alacağından geçerlidir. Bu doğrultuda, öğrencinin yaptığı denetim doğru bir sonuca ulaşmıştır.

Step-by-Step Solution

1
Çözümleyici çizelgede yolların kapanmasının mantıksal anlamını bulmak
Tüm yolların kapanması, çözümlenen ifadenin tutarsız (hiçbir satırda doğru değer alamayan) olduğunu gösterir.
Kapalı yollar, ifadenin doğruluk değerinin hiçbir yorumlamada doğru olamayacağını ifade eder.
2
Değilinin tutarsızlığı üzerinden asıl önermenin geçerlilik durumunu saptamak
Bir önermenin değili tutarsız ise, kendisi tüm yorumlamalarda zorunlu olarak doğru (geçerli) olur.
Değilinin hiçbir zaman doğru olamaması, asıl önermenin her zaman doğru olmasını gerektirir.

Key Concept

Çözümleyici çizelge ile geçerlilik denetleme kuralları
Estimated Time:45s
Rate this question