A Matematica e uma ciencia exacta. Cada proposicao matematica deve ser demonstrada. Afinal, o que e uma demonstracao matematica? Consiste num argumento logico em que se estabelece a veracidade de uma proposicao matematica baseando-se nas definicoes, nos axiomas, em algumas proposicoes verdadeiras e em regras logicas. A demonstracao de um teorema deve ser baseada nas regras logicas. O estudo de logica e o que se baseia nos principios e metodos utilizados para se distinguir argumentos validos daqueles que nao sao validos. A logica matematica fornece aos alunos as regras logicas no raciocinio e na demonstracao matematica. E impossivel apresentar ou entender bem uma demonstracao matematica sem alguns conceitos e regras logicas basicas. O desenvolvimento da matematica e um processo de generalizacao dos resultados antigos, de consideracoes dos casos analogos e de casos particulares para criar os novos resultados. O presente livro foi desenvolvido com base na logica matematica usada nos programas de Ensino do 2.o Ciclo Secundario e Universitario. No entanto, sao apresentados os metodos de generalizacao, metodo analogo e particularizacao, que contribuirao para levantar a qualidade do ensino e do estudo da matematica. Alem disso, tambem se coloca em destaque algumas dificuldades e erros encontrados no raciocinio e na demonstracao matematica. Esta realidade, acreditamos, ajuda os alunos a consolidar e a alargar os conhecimentos, contribuindo para o desenvolvimento da qualidade de estudo e de ensino matematico. Portanto, esta obra destina-se principalmente aos alunos e professores do 2.o Ciclo Secundario e estudantes matematicos de nivel universitario.