Dado um número inteiro qualquer, então, ou ele é par, ou é ímpar. Diante dessa premi...

Gabarito: c)
A sentença original afirma que a soma de dois números pares resulta em um número par. Para encontrar a sentença logicamente equivalente, precisamos entender as propriedades das somas de números pares e ímpares.

Quando dois números são pares, cada um pode ser expresso como 2k e 2j, onde k e j são inteiros. A soma desses números é 2k + 2j = 2(k + j), que é claramente um número par. Isso confirma a sentença original.

Agora, analisando as alternativas:
a) Essa alternativa é falsa porque a soma de dois números ímpares é par.
b) Essa alternativa é falsa porque se um número é ímpar e o outro é par, a soma é ímpar.
c) Essa alternativa é verdadeira porque se a soma de dois números é ímpar, pelo menos um desses números deve ser ímpar para que a soma não seja um múltiplo de dois.
d) Essa alternativa é falsa porque dois números ímpares somados resultam em um número par.
e) Essa alternativa é falsa porque dois números pares somados resultam em um número par, mas dois números ímpares também podem somar um número par.

Portanto, a alternativa c) é a única que é logicamente equivalente à sentença original, pois captura a necessidade de pelo menos um número ímpar para resultar em uma soma ímpar.