İ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.