Çözümleyici Çizelgeler ve Değillemesiz Önermeler Mantığı -I

Authors : İskender TAŞDELEN

Pages : 25-39

View : 7 | Download : 7

Publication Date : 2019-04-17

Article Type : Research Paper

Abstract :Bu yazıda çözümleyici çizelge yöntemi ile değillemesiz bir önermeler mantığı sistemi ve bu sistemin kimi sentaktik özellikleri ortaya konmaktadır. Sistemin biçimsel nesne-dilinde tüm önermeler doğruluk değeri dizileriyle etiketlenmektedir. Doğruluk değerleri dizileri kümesi üzerinde tanımlanan bir indirgeme işlemi sayesinde, etiketlerin karmaşıklığı azaltılabilmekte ve her etiket sonlu adımda tek doğruluk değerinden oluşan bir atomik etikete indirgenebilmektedir. Çizelge kuralları etiketlerin kullanımını belirleyen bir yapısal kuralın yanı sıra önermelerin doğruluk değerleriyle etiketlendiği çizelgelerin yaygın sunumunun kurallarına benzer eleme kurallarından oluşmaktadır. Biçimsel nesne dilde değilleme operatör sembolüne başvurmayı gereksizleştirerek, söz konusu sistem değillemenin yanlışlık olduğu yorumuyla bağdaşmaktadır.
Keywords : Doğruluk değeri, değilleme, etiketli önerme, çözümleyici çizelge