Formal Logic Vs Informal Logic