Öz
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.
Anahtar Kelimeler
Çözümleyici çizelge Çözümleme ağacı Tutarsız önermeler Çözümleyici kümeler
Kaynakça
- Grünberg, T., 2002. Modern Logic, METU Press, Ankara.
- Hardegree, G. M., 2010, Symbolic Logic: A First Course, McGraw Hill, New York.
- Howson, C., 1997. Logic with Trees: An Introduction to Symbolic Logic, Routledge, London.
- Kutlusoy, Z., 2003. Temel Sembolik Mantık, ART Basın Yayın, Ankara.
- Nolt, J., Rohatyn, D., Varzi, A., 1988. Schaum's Outline of Logic, McGraw Hill Professional.
- Özlem, D., 2004. Mantık: Klasik/Sembolik Mantık, Mantık Felsefesi, 7. Baskı, İnkılâp Kitabevi, İstanbul.
- Smullyan, R. M., 1968. First-Order Logic. Springer-Verlag, Berlin.
- Taşdelen, İ., 2009. Sembolik Mantık, AÜ Açıköğretim Fakültesi Yayınları, Eskişehir.
- Teller, P., 1989. A Modern Formal Logic Primer: Sentence Logic, Vol. 1, Prentice Hall, New Jersey.
- Thomas, N., 1966. Modern Logic : An Introduction, Barnes & Noble Inc., New York.
Ayrıntılar
| Birincil Dil | Türkçe |
|---|---|
| Konular | Mühendislik |
| Bölüm | Araştırma Makaleleri |
| Yazarlar | |
| Erken Görünüm Tarihi | 30 Aralık 2022 |
| Yayımlanma Tarihi | 31 Aralık 2022 |
| Yayımlandığı Sayı | Yıl 2022 Cilt: 11 Sayı: 3 |
