GABARITO: ALTERNATIVA B.

Primeiramente , um breve resumo sobre Argumentos categóricos: são aqueles que apresentam premissas representadas por enunciados simples, contendo um quantificador, um sujeito, um verbo de ligação e um predicado (ex.: Todo baiano é nordestino, Nenhum carioca é sulista, Alguns nordestinos não são baianos). Para negar essas frases, temos as seguintes proposições:

~(todo A é B) = algum A não é B

~(nenhum A é B) = algum A é B

~(algum A é B) = nenhum A é B

~(algum A não é B) = Todo A é B

Obs 1.: Cuidado, afirmar que TODO A É B não significa o mesmo que TODO B É A. Do mesmo modo, afirmar que NENHUM A É B é logicamente equivalente a dizer que NENHUM B É A.

Obs 2.: Algum A é B nos permite concluir que nem todo A é B. No sentido lógico, o termo “algum” também será verdade quando TODO A É B.

Obs 3.: Afirmar que algum A é B é logicamente equivalente a dizer que algum B é A.

Destarte, analisando a frase do enunciado:

“Todo homem é rico”

Sua negação seria algo do tipo:

"Algum homem não é rico.”