Índide das técnicas
2.1. Demonstração direta de implicação
2.2. Demonstração indireta de implicação
2.3. Demonstração de equivalências
2.5. Demonstração de sentenças existenciais
2.6. Mais demonstrações por contradição
O objetivo de uma demonstrações é convencer outras pessoas, ou a si mesmo, de que uma sentença é verdadeira. Toda demonstração parte de algumas definições e/ou de algumas sentenças primordiais chamadas axiomas os quais são, convencionalmente, considerados verdadeiros. Uma demonstração somente pode usar sentenças e regras de dedução válidas. Em geral, também usamos equivalências e implicações lógicas vistas anteriormente e as sentenças que já foram provadas serem verdadeiras. Uma sentença devidamente demonstrada é chamada de teorema (palavra derivada de uma expressão grega que significa “verdade dos Deuses”). Assim, essencialmente, temos dois tipos de sentenças verdadeiras na matemática: os axiomas e os teoremas.