A proposição "se n é um número inteiro par, então n² é par" é verdadeira. Vamos analisar passo a passo: 1. Definição de n par: Se n é par, podemos escrever n como \( n = 2k \), onde k é um número inteiro. 2. Calculando n²: \[ n² = (2k)² = 4k² \] 3. Reescrevendo 4k²: \[ 4k² = 2(2k²) \] Aqui, \( 2k² \) é um número inteiro, pois k é inteiro e o produto de inteiros é inteiro. 4. Conclusão: Portanto, \( n² \) pode ser escrito como \( 2q \), onde \( q = 2k² \) é um inteiro. Isso mostra que n² é par. Assim, a afirmação está correta: se n é par, então n² também é par.