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

Öz

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.

Anahtar Kelimeler

• Doğruluk-değeri,değilleme,etiketli önerme,çözümleyici çizelge

Analytic Tableaux and Negation-Free Propositional Logic-I

Öz

In this paper, a negation-free propositional logic system with an analytic tableau method and some of its syntactic properties is put forth. In the formal object-language of the system all propositions are labeled by sequences of truth values. Through a reduction operation defined on the set of sequences of truth values, complexity of labels can be reduced and every label can be reduced to atomic labels (which consists of single truth values) after finite number of reduction steps. Tableau rules consists of a structural rule governing the labels in addition to those resembling the rules of common presentation of trees labeled with truth values. The system is compatible with the interpretation of negation as falsity by making any use of negation in the formal object language inessential. 

Anahtar Kelimeler

• Truth-value,negation,labeled proposition,analytic tableau

Kaynakça

1. .