p ↔ (q ↔ r) önermesinin totoloji olup olmadığını test etmek için kaç farklı doğruluk değeri kombinasyonu denenmelidir?
A) 2Bir bileşik önermenin totoloji olup olmadığını test etmek için, o önermeyi oluşturan tüm basit önermelerin alabileceği her doğruluk değeri kombinasyonunu incelememiz gerekir. Bu işlem genellikle bir doğruluk tablosu oluşturularak yapılır ve tablodaki satır sayısı, denenmesi gereken kombinasyon sayısını gösterir.
Öncelikle, verilen $p \leftrightarrow (q \leftrightarrow r)$ bileşik önermesini oluşturan basit (atomik) önermeleri belirleyelim. Bu önermede $p$, $q$ ve $r$ olmak üzere üç farklı basit önerme bulunmaktadır.
Bir bileşik önermede $n$ tane farklı basit önerme varsa, bu önermenin doğruluk değerlerini test etmek için $2^n$ farklı doğruluk değeri kombinasyonu denenmelidir. Bu kural, her basit önermenin iki olası doğruluk değerine (Doğru (D) veya Yanlış (Y)) sahip olmasından kaynaklanır ve bu değerlerin tüm kombinasyonları çarpım yoluyla bulunur.
Bizim durumumuzda, $n=3$ (çünkü $p$, $q$ ve $r$ olmak üzere 3 farklı basit önerme var). Bu durumda, denenmesi gereken farklı doğruluk değeri kombinasyonlarının sayısı $2^3$ olacaktır.
Hesaplamayı yaptığımızda $2^3 = 2 \times 2 \times 2 = 8$ sonucunu buluruz.
Dolayısıyla, $p \leftrightarrow (q \leftrightarrow r)$ önermesinin totoloji olup olmadığını test etmek için 8 farklı doğruluk değeri kombinasyonu denenmelidir.
Cevap C seçeneğidir.
