Evrik koşul önermesi üzerine: İndirgeme, notasyon ve denetleme

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.This study focuses on the converse conditional proposition. Reduction, notation and testing issues related to this proposition are included. These issues are addressed using the truth table method. With this method, the truth functions of the converse conditionals are determined, and it is revealed which propositions can be reduced directly and which propositions indirectly to the converse conditional proposition, to which propositions the converse conditional proposition can be reduced, how two-dimensional notation of different variations of the converse conditional proposition can be made, and what will be the truth tree and reduced truth tree rules of the converse conditional proposition. In addition, it is shown how the determined rules can be applied by checking consistency, equivalence and validity with truth table, truth tree and reduced truth tree methods.