Demonstre que, se n, m são números pares, então n + m também é par . Hipótese (assumimos como verdade): n, m são números pares Tese (conclusão): n ...

A demonstração apresentada está correta. Podemos concluir que se n e m são números pares, então a soma deles (n + m) também é par. Isso ocorre porque, por definição, um número par é aquele que pode ser escrito na forma 2k, onde k é um número inteiro. Portanto, se n e m são pares, podemos escrevê-los como n = 2k e m = 2l, onde k e l são inteiros. Assim, a soma de n e m é n + m = 2k + 2l = 2(k + l), que é um múltiplo de 2 e, portanto, é par.