Lógica informal e Formal  e suas aplicações