Dizer que a afirmação “Todos os cuiabanos são contadores” é falsa, do ponto de vista lógico, equivale a dizer que a seguinte afirmação é verdadeira:

Gabarito

A

Comentário do professor

A sentença "Todos os cuiabanos são contadores" é uma hipótese com quantificador universal. A negação de uma afirmação universal é uma afirmação existencial com o predicado negado.

Formalmente, vale a identidade lógica \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \). Aplicando ao caso: \(P(x)\) = "x é contador" e o universo = cuiabanos.

Portanto, a negação correta é: "Existe pelo menos um cuiabano que não é contador", ou em linguagem corrente: Pelo menos um cuiabano não é contador. Se a afirmação universal é falsa, essa negação passa a ser verdadeira.