Soru

Zorluk: KolayÇö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.Cevap
  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.

Cevap

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

Adım Adım Çözüm

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.

Anahtar Kavram

Çözümleyici çizelge ile geçerlilik denetleme kuralları
Tahmini Süre:45s
Bu soruyu puanla