Considerando a proposição categórica "Todos os servidores públicos concursados têm direito à aposentadoria especial", que pode ser formalizada como ∀x (ServidorConcursado(x) → DireitoAposentadoriaEspecial(x)), assinale a alternativa que apresenta a negação correta desta proposição, de acordo com as regras da lógica formal.
- A)A negação de "Todos os A são B" é "Todos os A não são B". Assim, a negação correta é "Nenhum servidor público concursado tem direito à aposentadoria especial".
- B)A negação de "Todos os servidores públicos concursados têm direito à aposentadoria especial" é "Existe pelo menos um servidor público concursado que não tem direito à aposentadoria especial".gabarito
- C)A negação correta é "Todos os que têm direito à aposentadoria especial são servidores públicos concursados".
- D)A negação de uma proposição universal é uma proposição universal de sentido contrário, ou seja, "Todos os servidores públicos concursados não têm direito à aposentadoria especial".
- E)A negação de "Todo A é B" é "Todo B é A", portanto, a negação correta é "Toda pessoa com direito à aposentadoria especial é um servidor público concursado".