Doğruluk Tablosu Ve Çözümleyici Çizelgeyle Farklı Yollardan Geçerlilik Denetlemeleri

Öz

Çıkarımların geçerlilikleri, farklı yöntemlerle denetlenebilir. Bu yöntemlerin bazılarında birden fazla yol izlenebilir. Doğruluk tablosu ve çözümleyici çizelge bu türden birer yöntemdir. Doğruluk tablosu yönteminde önermelerin farklı durumlarda aldıkları doğruluk değerleri dikkate alınır; çözümleyici çizelge yönteminde ise bileşik önermeler en basit bileşenine kadar ayrıştırılır. Bu çalışmada; doğruluk tablosu ve çözümleyici çizelge yöntemleriyle çıkarımların farklı yollardan nasıl denetlenebilecekleri gösterilmektedir. Bu doğrultuda, doğruluk tablosu yöntemine yönelik dört, çözümleyici çizelge yöntemine yönelik de iki denetleme yolu üzerinde durulmaktadır. Doğruluk tablosuyla ilgili denetlemelerde öncüllerin ve sonucun aldıkları değerlere, öncüllerin ve sonucun değilinin aldıkları değerlere, öncüllerin tümel evetleme eklemiyle birbirine bağlanıp elde edilen önermeyi koşul önermesi eklemiyle sonuca bağlayarak oluşturulan önermenin aldığı değerlere göre denetlenme yollarıyla kısa yoldan denetleme yoluna; çözümleyici çizelgeyle ilgili ise öncüllerin alt alta, sonucun değilinin de öncüllerin altına yazılarak çözümlemeye gidilen yolla öncüllerin tümel evetleme önermesi eklemiyle birbirine, sonucun da koşul önermesi eklemiyle öncüllere bağlanarak elde edilen önermenin değilinin alınıp çözümlemeye gidilen yola yer verilmektedir.