Assinale a opção que apresenta a negação lógica da proposição “Nenhum príncipe é encantado”.

Gabarito

B

Comentário do professor

A proposição "Nenhum príncipe é encantado" usa o quantificador universal negativo: afirma que para todo indivíduo príncipe não vale ser encantado.

Negar uma afirmação universal negativa transforma o quantificador em existencial positivo. Em termos lógicos: a sentença original pode ser escrita como \( \forall x (P(x) \rightarrow \neg E(x)) \).

Sua negação é \( \exists x (P(x) \land E(x)) \), que em linguagem comum fica: pelo menos um príncipe é encantado.

Portanto a alternativa correta expressa exatamente a existência de ao menos um príncipe que é encantado, que é a negação lógica da proposição dada.