Considerando que a afirmação “ Nenhum pescador sabe nadar” não é verdadeira, é correto concluir que

Gabarito

A

Comentário do professor

“Nenhum pescador sabe nadar” é uma proposição do tipo universal negativa, que pode ser formalizada como \( \forall x\,(P(x)\rightarrow \neg S(x)) \), onde \(P(x)\) = “x é pescador” e \(S(x)\) = “x sabe nadar”.

Negar uma proposição universal transforma-a em uma proposição existencial afirmativa. Assim, \( \neg\forall x\,(P(x)\rightarrow \neg S(x)) \) equivale a \( \exists x\,(P(x)\land S(x)) \).

Em linguagem comum, a negação diz que existe pelo menos um indivíduo que é pescador e sabe nadar. Portanto, se a afirmação original não é verdadeira, deve ser verdadeira a conclusão: há, pelo menos, um pescador que sabe nadar.