What Is Formal Logic In Ai