önermeye ağaç yapı üzerinden ispat gerçekleştirme yöntemi - Turc Anglais Dictionnaire