çözümleyici çizelge

çözümleyici çizelge İng. analytic tableau, consistency tree, truth tree

Belli bir mantık dizgesine ilişkin başlangıç önermesi denilen K gibi sonlu bir önerme kümesi verildiğinde: (i) K kümesince üretilen sonlu çözümleyici kümeler varsa bunların tümünü alt alta yazılmış önermelerden oluşan diziler biçiminde ortaya koyan, (ii) K yı kapsayan (söz konusu mantık dizgesine ilişkin) hiç bir çözümleyici küme yoksa bunu sonlu sayıda adımla ortaya koyan ağaç biçiminde çizelge. || Eklemler mantığında her çözümleyici küme sonlu olduğundan, K kümesinin tutarlılığı da tutarsızlığı da denetlenebilir. Temel mantıkta ise sonsuz çözümleyici kümeler de bulunduğundan genel olarak K nın yalnız tutarsızlığı denetlenebilir. Bir çıkarımın geçerliliğini denetlemek için başlangıç önermeleri olarak çıkarımın geçersiz kılıcı kümesini seçmek yeter.


çözümleyici çizelge için benzer kelimeler


çözümleyici çizelge, 19 karakter ile yazılır. Ayrıca, ç harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise, 'ç', 'ö', 'z', 'ü', 'm', 'l', 'e', 'y', 'i', 'c', 'i', ' ', 'ç', 'i', 'z', 'e', 'l', 'g', 'e', şeklindedir.
çözümleyici çizelge kelimesinin tersten yazılışı egleziç iciyelmüzöç diziliminde gösterilir.