Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu

Naim Çağman

Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu

Ö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

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.

Ayrıntılar

Birincil Dil

Türkçe

Konular

Mühendislik

Bölüm

Araştırma Makalesi

Yazarlar

Naim Çağman ^*
0000-0003-3037-1868
Türkiye

Yayımlanma Tarihi

31 Aralık 2022

Gönderilme Tarihi

21 Ekim 2022

Kabul Tarihi

15 Aralık 2022

Yayımlandığı Sayı

Yıl 2022 Cilt: 11 Sayı: 3

IZ

https://izlik.org/JA94HX27JD

Kaynak Göster

RIS / Bibtex

APA

Çağman, N. (2022). Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu. Gaziosmanpaşa Bilimsel Araştırma Dergisi, 11(3), 159-169. https://izlik.org/JA94HX27JD

AMA

1.Çağman N. Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu. GBAD. 2022;11(3):159-169. https://izlik.org/JA94HX27JD

Chicago

Çağman, Naim. 2022. “Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu”. Gaziosmanpaşa Bilimsel Araştırma Dergisi 11 (3): 159-69. https://izlik.org/JA94HX27JD.

EndNote

Çağman N (01 Aralık 2022) Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu. Gaziosmanpaşa Bilimsel Araştırma Dergisi 11 3 159–169.

IEEE

[1]N. Çağman, “Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu”, GBAD, c. 11, sy 3, ss. 159–169, Ara. 2022, [çevrimiçi]. Erişim adresi: https://izlik.org/JA94HX27JD

ISNAD

Çağman, Naim. “Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu”. Gaziosmanpaşa Bilimsel Araştırma Dergisi 11/3 (01 Aralık 2022): 159-169. https://izlik.org/JA94HX27JD.

JAMA

1.Çağman N. Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu. GBAD. 2022;11:159–169.

MLA

Çağman, Naim. “Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu”. Gaziosmanpaşa Bilimsel Araştırma Dergisi, c. 11, sy 3, Aralık 2022, ss. 159-6, https://izlik.org/JA94HX27JD.

Vancouver

1.Naim Çağman. Çözümleyici Kümeler: Çözümleyici Çizelgelerin Yeni Bir Versiyonu. GBAD [Internet]. 01 Aralık 2022;11(3):159-6. Erişim adresi: https://izlik.org/JA94HX27JD