SEMBOLİK ANLATIMLARIN ÇÖZÜMLEYİCİ ÇİZELGE YÖNTEMİYLE DENETLENMESİNDE ÖNCELİĞİN ÇENGELE GİTMEYE VERİLMESİ BİR KURAL OLARAK BELİRLENEBİLİR Mİ?
IF IT CAN BE DETERMINED AS A RULE TO GIVE PRIORITY TO NONBRANCHING DURING TESTING SYMBOLIC DISCOURSES BY TRUTH TREE METHOD

Summary/Abstract: In this study it will be focused on if non-branching rule, which takes part in the truth tree method of the modern logic, has a priority to branching rule. That is, firstly it will be studied whether branching can be determined as a rule in terms of development reason of the truth tree method. In this way this topic will be investigated with regards to the results of analysed symbolic expressions and developing of the truth tree method. It will be stated that the priority between both rules will not be defined regarding the results by means of samples. It will also be emphasised on that there is a priority of non-branching rule to branching rule within the context of developing truth tree method. As a conclusion, it will be revealed that to give priority to non-branching should be determined as a rule.

• Details
• Contents