Sembolik mantıkta çözümleyici çizelge (semantik tablo) yöntemi; önermelerin tutarlılığını, geçerliliğini ve eşdeğerliğini denetlemede kullanılan sistemli bir yöntemdir. Bu yöntemde denetleme türüne göre önermelerin kendileri ya da değillemeleri sisteme girilerek kurallar uygulanır.
Buna göre, çözümleyici çizelge ile yapılan denetleme işlemleri hakkında aşağıdakilerden hangisi doğrudur?
- Bir argümanın geçerliliğini denetlemek için öncüller aynen, sonucun ise değillemesi alınarak birlikte çözümlenir; tüm yollar kapandığında argümanın geçerli olduğu sonucuna varılır.Answer
- BBir önermenin tek başına geçerli olup olmadığını denetlemek için önermenin kendisi çizelgeye yazılır ve en az bir yolun açık kalması geçerlilik için yeterli kabul edilir.
- Cİki önermenin eşdeğerliğini denetlemek amacıyla önermeler ise () eklemiyle birbirine bağlanır ve değillemesi alınmadan çözümleme yapılarak tüm yolların açık kalması beklenir.
- DBir önerme kümesinin birlikte tutarlı olduğunu denetlemek için kümedeki tüm önermelerin ayrı ayrı değillemesi alınır ve tüm kolların kapanması aranır.
- EÇözümleyici çizelgede işlem kolaylığı sağlamak amacıyla, çatal açılmasını gerektiren tikel evetleme önermelerine alt alta yazılan tümel evetleme önermelerinden önce işlem yapılır.
Answer
Bir argümanın geçerliliğini denetlemek için öncüller aynen, sonucun ise değillemesi alınarak birlikte çözümlenir; tüm yollar kapandığında argümanın geçerli olduğu sonucuna varılır.
Çözümleyici çizelgede bir argümanın geçerliliğini denetlemek için argümanın öncülleri aynen alınırken, sonucun değillemesi sisteme eklenir. Eğer bu kümenin çözümlenmesi sonucunda tüm yollar kapanırsa, öncüller ile sonucun değillemesinin birlikte tutarsız olduğu görülür. Bir argümanın öncülleriyle sonucun değillemesinin birlikte tutarsız olması, o argümanın geçerli olduğunu gösterir.
Step-by-Step Solution
Key Concept
Çözümleyici çizelge ile argüman geçerliliği denetleme kuralı