A prova de um teorema é simplesmente um argumento dedutivo em que as hipóteses s˜ao as premissas e a conclus˜ao é a conclus˜ao do teorema; ou seja, o primeiro passo para demonstrar um teorema é expressar suas hipóteses e sua conclus˜ao utilizando sentenças lógicas.
Consideramos um número como sendo par quando o dividimos por dois e seu resto é zero. Já um número é ímpar quando, na divisão por dois, o resto é diferente de zero. Veja o exemplo a seguir: — Verifique quais números do conjunto {6, 12, 17, 39} são pares ou ímpares.
Um exemplo simples de regra é: a soma de dois números ímpares é sempre um número par. Pode-se confirmar essa regra com alguns exemplos: 3 + 5 é igual a 8 ; 7 + 9 é igual a 16 ; e 53 + 61 é igual a 114 ...
2, 4, 6, 8
Os pares são aqueles terminados em 0, 2, 4, 6 ou 8. Já os ímpares são aqueles que não são pares e são terminados em 1, 3, 5, 7 ou 9. Os conjuntos numéricos são reuniões de números que apresentam uma ou mais características em comum.
Vamos definir números pares e ímpares de acordo com a concepção pitagórica: par é o número que pode ser dividido em duas partes iguais, sem que uma unidade fique no meio, e ímpar é aquele que não pode ser dividido em duas partes iguais, porque sempre há uma unidade no meio.