Formal Logic Vs Symbolic