Valores lógicos

Proposição 1: 2| (a² - a )

a² - a = a(a-1)
Caso a seja par, (a-1) é ímpar e o produto, portanto, é par.
Caso a seja ímpar, (a-1) é par e o produto, portanto, é par.

Como a expressão é sempre par, 2 sempre será divisor. Verdadeiro.

Proposição 2: 2 + 5 + 8+ 11 + ... + ( 3n - 1 ) = n(3n + 1 )/2

A expressão é uma P.A de razão igual a 3 e termo inicial igual a 2.
O termo geral é dado pela expressão (3n-1):
a_n = a₁ + (n-1)r
a_n = 2 + 3(n-1)
a_n = 3n -1

A soma dos termos de uma P.A é dada pela equação S_n = (a₁ + a_n)n/2
Portanto a soma dos termos da P.A em questão é:
S_n = (2 + 3n -1)n/2
S_n = n(3n+1)/2

Portanto, a proposição é verdadeira.

Resposta: (B)