Definition Of Formal Logic