Proof And Disproof In Formal Logic Vs Informal Logic