Prppositions with two value cases are propositions that are considered in the context of two-valued logic and have an unary argument. These propositions have four truth functions. These truth functions are: “true-true”, “true-false”, “false-true” and “false-false”. Direct variations of biconditional and noninclusive disjunction propositions with two value cases have “true-true” and “false-false” truth functions. Therefore, positive and negative simple propositions and variations of the conjunction, disjunction, conditional, incompatibility, and joint denial, which have the “true-false” truth function and the “false-true” truth function, cannot be reduced to the direct variations of biconditional and noninclusive disjunction. In this study, by creating indirect biconditional and noninclusive disjunction that have a “true-false” truth function and a “false-true” truth function, it is revealed how propositions equivalent to positive and negative simple propositions and direct variations of conjunction, disjunction, conditional, incompatibility, and joint denial, which have the “true-false” truth function and the “false-true” truth function, can be created. In this way, it is revealed how the positive and negative simple propositions and conjunction, disjunction, conditional, incompatibility, and joint denial, which have the “true-false” truth function and the “false-true” truth function can be reduced to the variations of biconditional and noninclusive disjunction.

Indirect reduction, simple proposition, compound proposition, biconditional, noninclusive disjunction.

İki değer durumlu önermeler, iki değerli mantık bağlamında ele alınan ve birli argümana sahip olan önermelerdir. Bu önermelerin dört doğruluk fonksiyonu bulunmaktadır. Bu doğruluk fonksiyonları şöyledir: “doğru-doğru”, “doğru-yanlış”, “yanlış-doğru” ve ”yanlış-yanlış”. İki değer durumlu karşılıklı koşul ve tekil evetleme önermelerinin doğrudan varyasyonları, “doğru-doğru” doğruluk fonksiyonuna ve “yanlış-yanlış” doğruluk fonksiyonuna sahiptir. Dolayısıyla, olumlu ve olumsuz basit önermelerle tümel evetleme önermesinin, tikel evetleme önermesinin, koşul önermesinin, bağdaşmazlık önermesinin ve birlikte değilleme önermesinin “doğru-yanlış” doğruluk fonksiyonuna ve “yanlış-doğru” doğruluk fonksiyonuna sahip olan varyasyonları karşılıklı koşul önermesinin ve tekil evetleme önermesinin doğrudan varyasyonlarına indirgenemez. Bu çalışmada, “doğru-yanlış” doğruluk fonksiyonuna ve “yanlış-doğru” doğruluk fonksiyonuna sahip olan dolaylı karşılıklı koşul ve tekil evetleme önermeleri oluşturularak olumlu ve olumsuz basit önermelerle tümel evetleme önermesinin, tikel evetleme önermesinin, koşul önermesinin, bağdaşmazlık önermesinin ve birlikte değilleme önermesinin “doğru-yanlış” doğruluk fonksiyonuna ve “yanlış-doğru” doğruluk fonksiyonuna sahip olan doğrudan varyasyonlarına eşdeğer önermelerin nasıl oluşturulabileceği ortaya koyulmaktadır. Bu şekilde de olumlu ve olumsuz basit önermelerle tümel evetleme önermesinin, tikel evetleme önermesinin, koşul önermesinin, bağdaşmazlık önermesinin ve birlikte değilleme önermesinin “doğru-yanlış” doğruluk fonksiyonuna ve “yanlış-doğru” doğruluk fonksiyonuna sahip olan varyasyonlarının karşılıklı koşul önermesine ve tekil evetleme önermesine nasıl indirgenebilecekleri gösterilmektedir.

Dolaylı indirgeme, basit önerme, bileşik önerme, karşılıklı koşul, tekil evetleme.