Bu makalede, çözümleyici çizelge yöntemiyle karşılıklı koşul ve bağdaşmaz seçeneklilik önermelerini kısa yoldan denetleme kuralları belirlenmeye çalışılmaktadır. Çalışmanın birinci kısmında, karşılıklı koşul ve bağdaşmaz seçeneklilik önermelerinin tümel evetleme, tikel evetleme, koşul ve evrik koşul önermelerine doğrudan indirgenemedikleri için çengele ve çatala gitmeyle ilgili önce ön bileşenin sonra art bileşenin alınarak yapılan ayrıştırmaların çözümleyici çizelge yöntemiyle birer kısa yoldan denetleme kuralı olarak belirlenemeyecekleri ortaya koyulmaktadır. Çalışmanın ikinci kısmında, karşılıklı koşul ve bağdaşmaz seçeneklilik önermelerinin önce art bileşenin sonra ön bileşenin alınarak ayrıştırılmasına yer verilmektedir. Bu doğrultuda, çatala gitmenin dört varyasyonundan hiçbirinin, çengele gitmenin de önce art bileşenin kendisinin sonra ön bileşenin kendisinin ve önce art bileşenin kendisinin sonra ön bileşenin değilinin alınması şeklindeki varyasyonlarının standart çözümleyici çizelge kurallarıyla yapılan çözümlemelerle aynı sonucu vermediği, dolayısıyla da bu ayrıştırmaların çözümleyici çizelge yöntemiyle kısa yoldan denetleme kuralları olarak belirlenemeyecekleri gösterilmektedir. Bununla birlikte, çengele gidilip önce art bileşenin değili sonra ön bileşenin değili alındığında, karşılıklı koşul önermesinin evetlemesinin ve bağdaşmaz seçeneklilik önermesinin değillemesinin standart çözümleyici çizelge kurallarıyla aynı sonucu; çengele gidilip önce art bileşenin değili sonra ön bileşenin kendisi alındığında, karşılıklı koşul önermesinin değillemesinin ve bağdaşmaz seçeneklilik önermesinin evetlemesinin standart çözümleyici çizelge kurallarıyla aynı sonucu verdiği ortaya koyulmaktadır.
In this article, it is tried to decide shortcut rules for checking biconditional and exclusive disjunction propositions using the truth tree method. In the first part of the study, it is put forward that since biconditional and exclusive disjunction propositions cannot be directly reduced to conjunction, disjunction, conditional and converse conditional propositions, the decompositions made by using the antecedent component and then the posterior component related to stacking and branching cannot be determined as a shortcut rule by using the truth tree method. In the second part of the study, the biconditional and exclusive disjunction propositions are decomposed by first taking the posterior component and then the antecedent component. Accordingly, it is shown that none of the four branching variations, and the stacking variations in which the posterior component is taken first and then the antecedent component, and the posterior component is taken first and then the negation of the antecedent component, give the same results as the analyses made with the standard truth tree rules; and therefore, these decompositions cannot be used as shortcut rules by the truth tree method. However, when it is stacked and first the negation of the posterior component and then the negation of the antecedent component are taken, it is put forward that the affirmation of the biconditional proposition and the negation of the exclusive disjunction proposition give the same results as the standard truth tree method; in addition, when it is stacked and first the negation of the posterior component and then the antecedent component are taken, it is seen that the negation of the biconditional proposition and the affirmation of the exclusive disjunction proposition give the same results as the standard truth tree method.
