ÖNERME EKLEMLERİ MANTIĞINDA ÇÖZÜMLEYİCİ ÇİZELGE YÖNTEMİ
Doğruluk tablosu yöntemi önermeler mantığı için çok kullanışlı bir yöntem değildir. Bunun nedeni nedir?
Doğruluk tablosundaki satır sayısının, göz önünde bulundurmamız gereken önerme değişkenlerinin sayısı ile orantılı olarak çok hızlı artmasıdır.
Bir önermede ya da çıkarımda geçen önerme değişkenlerinin sayısı n ise, bu önermenin ya da çıkarımın doğruluk tablosundaki satır sayısı kaç olmalıdır?
2n olmalıdır.
Çözümleyici çizelge yönteminin ana fikri nedir?
Bir önermenin doğru olması için gereken koşulların bir çizgesini (grafiğini) oluşturmaktır.
Çözümleyici çizelge kuralları nelerdir?
Çözümleyici çizelge kuralları alt alta yazma kuralları ve çatal açma kuralları biçimindedir.
“Çatal açma” ile kastedilen nedir?
Kasdedilen çizelgeye iki yeni dal eklemektir.
“Alt alta yazma” kuralları ile kastedilen nedir?
Yeni dallara yol açmadan, sadece mevcut dala yeni bir ya da iki önerme eklememizi gerektiren kurallardır.
Tümel-evetleme önermesine ait çözümleyici çizelge kuralı nasıl ifade edilir?
m. (A ∧ B)
n. A
n+. B
Tikel-evetleme önermesine ait çözümleyici çizelge kuralı nasıl ifade edilir?
(A → B) koşul önermesine ait çözümleyici çizelge kuralı nasıl ifade edilir?
(A ↔ B) karşılıklı-koşul önermesine ait çözümleyici çizelge kuralı nasıl ifade edilir?
Çifte değilleme (değillemenin değillenmesi) kuralı nasıl ifade edilir?
Çözümleyici çizelgedeki her numaralı önerme çizelgede bir nokta denilir. 1 numaralı tepe noktasına ne isim verilir?
Çizelgenin kökü.
Yukarıdaki çözümleyici çizelgede (k) sayısı neyi gösterir?
(k) sayısı A önermesinin hangi noktadaki önermeye kural uygulayarak elde edildiğini gösterir.
Hem A hem ~A önermesi içeren bir dal için ne söylenebilir?
Söz konusu dal kapalıdır.
(p ∧ (p ∨ ~q)) sembolik önermesinin çözümleyici çizelgesi nasıldır?
Bir önermenin değilinin çözümleyici çizelgesi kapanır ise, önerme için ne söylenebilir?
Önerme bir totolojidir.
Bir çıkarımın geçerliliğini çözümleyici çizelge ile denetlerken tepe noktalara ne yazılır?
Alt alta öncüller ve sonuç önermesinin değili yazılır.
p → q, ~p → q ∴ q çıkarımının geçerliliğini çözümleyici çizelge yöntemi ile denetlenmiş hali nasıldır?
Bir çıkarımın geçerliliğini çözümleyici çizelge ile denetlerken tepe noktalara alt alta öncülleri ve sonuç önermesinin değilini yazarız. Tüm dallar kapanırsa çıkarım için ne söylenebilir?
Çıkarım geçerlidir.
Bir çıkarımın geçerliliğini çözümleyici çizelge ile denetlerken tepe noktalara alt alta öncülleri ve sonuç önermesinin değilini yazarız. Tamamlanmış bir dal açık kalırsa çıkarım için ne söylenebilir?
Çıkarım geçersizdir.