1 Lógica Proposicional. 2 Até agora estudamos a Lógica de maneira informal. A Lógica formal é o estudo de formas de argumento, isto é, regras abstratas.
