Formal Logic Vs Symbolic Logic