Assinale a opção que apresenta uma proposição lógica.

Gabarito

A

Comentário do professor

Todo número primo é par. é uma proposição porque é uma frase declarativa de sentido completo à qual se pode atribuir um valor lógico (verdadeiro ou falso). Formalmente é uma afirmação universal: \( \forall n\,( \text{primo}(n)\rightarrow \text{par}(n)) \).

Para avaliar sua veracidade basta encontrar um contraexemplo. O número \(3\) é primo e não é par, logo a afirmação falha. Portanto, embora seja proposição, seu valor lógico é falso.

Observação curta: existir um número primo par (o \(2\)) não torna a afirmação verdadeira, pois a validade de uma afirmação universal exige que todos os primos sejam pares, o que não ocorre.