SORU: Bir önermenin çözümleyici çizelgesini yaparak, önermenin verilen bir doğruluk değerlemesine göre alacağı doğruluk değerini nasıl belirleriz?
CEVAP: Çizelgenin köküne önermeyi yazarak çözümleyici çizelge kurallarına göre ilerleriz. Bir dalda ortaya çıkan her önerme değişkenine ya da değillemesine, verilen doğruluk değerlemesine göre doğruluk değerini yazarız. Eğer dalda Y değeri ortaya çıkarsa, o dal yanlıştır ve o dalda daha fazla ilerlemeyiz. Eğer tamamlanan bir dalda tüm değerler D ise, yani o tamamlanmış daldaki tüm önerme değişkenleri ve değillenmiş değişkenler D değerini almış ise, o dal doğrudur denir. Çizelge tamamlandığında en az bir dal doğru ise, çizelgesini yaptığımız önerme bize verilen doğruluk değerlemesinde doğrudur. Çizelgeyi yaparken tamamlanmış bir doğru dal ortaya çıkarsa, daha fazla devam etmeden, önermenin verilen doğruluk değerlemesinde doğru olduğunu söyleyebiliriz. Eğer tüm dallar yanlış ise, önerme bize verilen doğruluk değerlemesinde yanlıştır. Bu nedenle, bir tek yanlış dala bakarak önermenin verilen doğruluk değerlemesinde yanlış olduğunu söyleyemeyiz. Önermenin verilen doğruluk değerlemesinde yanlış olduğunu söyleyebilmek için tüm dalların yanlış olması gerekir.
