Ö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.
Abstract: This article focuses on the direct reduction of compound propositions to each other, which are created from different simple propositions. In this regard, the propositions aforementioned are examined by being divided into two groups regarding their value status in the context of two-valued logic. In the first group, the propositions with three true and one false or three false and one true value states are handled while in the second group, the propositions with two true and two false value states are examined. Accordingly, in the first group, there are the conjunction propositions, disjunction propositions, conditional propositions, incompatibility propositions and joint denial propositions; in the second group, the biconditional propositions and noninclusive disjunction propositions are included. The study consists of two parts. In the first section, it is revealed to which variations of the other propositions all the variations of each of the propositions in the first group can be reduced. In the second section, it is shown first to which variations within its own proposition type each of the propositions in the second group can be reduced and then to which variations of the other proposition type can be reduced.
