Lógica Proposicional. Até agora estudamos a Lógica de maneira informal. A Lógica formal é o estudo de formas de argumento, isto é, regras de raciocínio.