Bu çalışmada, basit ve bileşik önermeler ele alınmaktadır. Bileşik önermeler olarak; tümel evetleme önermesine, tikel evetleme önermesine, koşul önermesine, karşılıklı koşul önermesine, bağdaşmazlık önermesine, birlikte değilleme önermesine ve tekil evetleme önermesine yer verilmektedir. Bu bileşik önermelerden hangilerinin kendilerini oluşturan basit önermelerine doğrudan indirgenebildikleri ve hangilerinin kendilerini oluşturan basit önermelerine doğrudan indirgenemedikleri incelenmektedir. Bu doğrultuda iki değerli mantıktan hareket edilmekte ve doğruluk tablosu yönteminden yararlanılmaktadır. Bu yöntemle birbirine eşdeğer olan ve birbirine eşdeğer olmayan basit ve bileşik önermeler belirlenip hangi bileşik önermelerin kendilerini oluşturan basit önermelerine indirgenebildikleri ve hangi bileşik önermelerin kendilerini oluşturan basit önermelerine indirgenemedikleri gösterilmeye çalışılmaktadır. Bu bağlamda, olumlu basit önermelerin; iki bileşeni de olumlu olan evetlenmiş tümel evetleme, iki bileşeni de olumlu olan evetlenmiş tikel evetleme, ön bileşeni olumsuz art bileşeni olumlu olan evetlenmiş koşul, iki bileşeni de olumsuz olan evetlenmiş bağdaşmazlık, iki bileşeni de olumsuz olan evetlenmiş birlikte değilleme, iki bileşeni de olumlu olan değillenmiş bağdaşmazlık, iki bileşeni de olumlu olan değillenmiş birlikte değilleme, ön bileşeni olumlu art bileşeni olumsuz olan değillenmiş koşul, iki bileşeni de olumsuz olan değillenmiş tümel evetleme ve iki bileşeni de olumsuz olan değillenmiş tikel evetleme önermelerine indirgenebildikleri, olumsuz basit önermelerin ise iki bileşeni de olumlu olan evetlenmiş bağdaşmazlık, iki bileşeni de olumlu olan evetlenmiş birlikte değilleme, ön bileşeni olumlu art bileşeni olumsuz olan evetlenmiş koşul, iki bileşeni de olumsuz olan evetlenmiş tümel evetleme, iki bileşeni de olumsuz olan evetlenmiş tikel evetleme, iki bileşeni de olumlu olan değillenmiş tümel evetleme, iki bileşeni de olumlu olan değillenmiş tikel evetleme, ön bileşeni olumsuz art bileşeni olumlu olan değillenmiş koşul, iki bileşeni de olumsuz olan değillenmiş bağdaşmazlık ve iki bileşeni de olumsuz olan değillenmiş birlikte değilleme önermelerine indirgenebildikleri ortaya koyulmaktadır.

Basit önerme, bileşik önerme, önerme eklemi, indirgeme, doğruluk tablosu