Definition Of Formal Reasoning