In this study, simple propositions and compound propositions are emphasized. Compound propositions, such as conjunction, disjunction, conditional, biconditional, incompatibility, joint denial and noninclusive disjunction are included. It examines which of these compound propositions can be directly reduced to their constituent simple propositions and which of them cannot be directly reduced to their constituent simple propositions. In this regard, the truth table method was used in the context of two-valued logic. With this method, simple propositions and compound propositions that are equivalent and not equivalent to each other are put forward, and it is tried to show which compound propositions can be reduced to their constituent simple propositions, and which compound propositions cannot be reduced to their constituent simple propositions. In this context, the following points are put forward: positive simple propositions can be reduced to the propositions of affirmed conjunctions with two positive components, the affirmed disjunctions with two positive components, the affirmed conditional with the negative leading component and positive posterior component, the affirmed incompatibility with both negative components, the affirmed joint denial with both negative components, the negated incompatibility with both positive components, the negated joint denial with both positive components, the negated conditional with the positive leading component and negative posterior component, the negated conjunction with both negative components, and the negated disjunction with both negative components. Negative simple propositions can be reduced to the propositions of the affirmed incompatibility with both positive components, the affirmed joint denial with both positive components, the affirmed conditional with positive leading component and negative posterior component, the affirmed conjunction with both negative components, the affirmed disjunction with both negative components, the negated conjunction with both positive components, the negated disjunction with both positive components, the negated conditional with negative leading component and positive posterior component, the negated incompatibility with both negative components, and the negated joint denial with both negative components.

Simple proposition, compound proposition, propositional connective, reduction, truth table

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