EVRİK KOŞUL ÖNERMESİ ÜZERİNE: İNDİRGEME, NOTASYON VE DENETLEME

Authors : Fikret Osman

Pages : 575-591

Doi:10.21550/sosbilder.1620309

View : 59 | Download : 57

Publication Date : 2025-07-31

Article Type : Research Paper

Abstract :Bu çalışmada, evrik koşul önermesi üzerinde durulmaktadır. Bu önermeyle ilgili indirgeme, notasyon ve denetleme konularına yer verilmektedir. Bu konular, doğruluk tablosu yönteminden yararlanılarak ele alınmaktadır. Bu yöntemle evrik koşul önermesinin doğruluk fonksiyonları tespit edilip hangi önermelerin doğrudan ve hangi önermelerin dolaylı olarak evrik koşul önermesine indirgenebilecekleri, evrik koşul önermesinin hangi önermelere indirgenebileceği, evrik koşul önermesinin farklı varyasyonlarının iki boyutlu notasyonunun nasıl yapılabileceği ve evrik koşul önermesinin çözümleyici çizelge kurallarıyla indirgeyici çizelge kurallarının neler olabilecekleri ortaya koyulmaktadır. Ayrıca evrik koşul önermesi içeren anlatımlara yönelik doğruluk tablosu, çözümleyici çizelge ve indirgeyici çizelge yöntemleriyle tutarlılık, eşdeğerlilik ve geçerlilik denetlemeleri yapılarak belirlenen kuralların nasıl uygulanabilecekleri gösterilmektedir.
Keywords : evrik koşul önermesi, indirgeme, iki boyutlu notasyon, çözümleyici çizelge, indirgeyici çizelge

ORIGINAL ARTICLE URL