não entendi.... "algum" tb se nega com nenhum?

A negação de NENHUM É ---> algum

A negação do algum é ---> todo

Proposição original:

"Algum alienígena não tem antenas."

Em lógica formal, isso significa:

"Existe pelo menos um alienígena que não tem antenas."

Símbolos: ∃x (Alienígena(x) ∧ ¬Antenas(x))

Negação:

Negar "algum" equivale a dizer "nenhum", ou seja, todos os alienígenas têm antenas.

Formalmente:

¬∃x (Alienígena(x) ∧ ¬Antenas(x)) ≡ ∀x (Alienígena(x) → Antenas(x))

Ou seja: "Todos os alienígenas têm antenas."

✅ Resposta correta:

E) Todos os alienígenas têm antenas.

fonte: chat gpt

Negação do "algum é"... DUAS FORMAS : "Nenhum" ou "Todo + não"

negação do "algum não"... TODO

Combati o bom combate, acabei a carreira e mantive a Fé. 2 Timoteo 4:7