|
|
|
Author
|
:
Fikret OSMAN
|
|
|
Type |
:
|
|
Printing Year |
:
|
|
Number |
:
|
|
Page |
:
|
|
DOI Number: |
:
|
| Cite : |
Fikret OSMAN , (). TRUTH TREE SHORT-CUT RULES FOR BICONDITIONAL AND EXCLUSIVE DISJUNCTION PROPOSITIONS. International Journal Of Eurasia Social Sciences, , p. . Doi: .
|
|
|
Summary
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. In this way, it is shown that by stacking and first negating the posterior component and then bringing the negation of the antecedent component under it, the affirmation of the biconditional proposition and the negation of the exclusive disjunction proposition can be determined as shortcut rules with the truth tree method; moreover, by stacking and first negating the posterior component and then putting the antecedent component under this proposition, the negation of the biconditional proposition and the affirmation of the exclusive disjunction proposition can be determined as shortcut rules with the truth tree method.
Keywords
Biconditional, exclusive disjunction, truth tree, branching, stacking.
Abstract
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. Bu şekilde de, çengele gidilip önce art bileşenin değilinin bunun altına da ön bileşenin değilinin getirilmesi karşılıklı koşul önermesinin evetlemesinin ve bağdaşmaz seçeneklilik önermesinin değillemesinin; çengele gidilip önce art bileşenin değilinin daha sonra bu önermenin altına ön bileşenin kendisinin getirilmesi karşılıklı koşul önermesinin değillemesinin ve bağdaşmaz seçeneklilik önermesinin evetlemesinin çözümleyici çizelge yöntemiyle kısa yoldan denetleme kuralları olarak belirlenebilecekleri gösterilmektedir.
Keywords
Karşılıklı koşul, bağdaşmaz seçeneklilik, çözümleyici çizelge, çatala gitme, çengele gitme.