Doğrudan İndirgemeler Üzerine İki Değerli Mantık Açısından Bir İnceleme –III: Farklı Basit Önermelerden Oluşturulan Bileşik Önermelerin Birbirine İndirgenmesi

Abstract

Öz: Bu makalede, farklı basit önermelerden oluşturulan bileşik önermelerin doğrudan birbirine indirgenmesi üzerinde durulmaktadır. Bu doğrultuda adı geçen önermeler iki değerli mantık bağlamında aldıkları değer durumuna göre iki öbeğe ayrılarak incelenmektedir. Birinci öbekte üç doğru bir yanlış ya da üç yanlış bir doğru değer durumuna sahip olan önermeler, ikinci öbekte ise iki doğru ve iki yanlış değer durumuna sahip olan önermeler ele alınmaktadır. Buna göre birinci öbekte tümel evetleme önermesine, tikel evetleme önermesine, koşul önermesine, bağdaşmazlık önermesine ve birlikte değilleme önermesine; ikinci öbekte ise karşılıklı koşul önermesine ve tekil evetleme önermesine yer verilmektedir. Çalışma iki bölümden oluşmaktadır. Birinci bölümde birinci öbekte yer alan önermelerden her birinin tüm varyasyonlarının diğer önermelerin hangi varyasyonlarına indirgenebildikleri ortaya koyulmaktadır. İkinci bölümde ise ikinci öbekte yer alan önermelerden her birinin önce kendi önerme türü içindeki hangi varyasyonlara indirgenebildikleri daha sonra da diğer önerme türünün hangi varyasyonlarına indirgenebildikleri gösterilmektedir.