Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu
Autor: | ÇAĞMAN, Naim |
---|---|
Jazyk: | turečtina |
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Volume: 11, Issue: 3 159-169 Gaziosmanpaşa Bilimsel Araştırma Dergisi Journal of Gaziosmanpasa Scientific Research |
ISSN: | 2146-8168 |
Popis: | Bu çalışmada, doğruluk değer tablosunun görevini üstlenen, Smullyan (1968) tarafından ortaya atılan çözümleyici çizelgelerin yeni bir versiyonunu vereceğiz ve adına “çözümleyici kümeler” diyeceğiz. Çözümleyici çizelge yöntemi mantıkta bir çelişki denetleme yöntemidir. Yeni bir kavram olarak ortaya attığımız çözümleyici kümeler, çözümleyici çizelgelerin yaptığı aynı görevleri yapacak; fakat burada karar verirken çözümleyici çizelgenin kapalı veya açık yollarına gerek kalmayacak, yeni versiyonda ortaya çıkacak tutarlı ya da tutarsız kümelere bakılacaktır. |
Databáze: | OpenAIRE |
Externí odkaz: |