Formal Logic Definition