Qual é a negativa da afirmação “Todos agentes de saúde seguem algum protocolo de segurança”?

Gabarito

A

Comentário do professor

A afirmação original é: “Todos agentes de saúde seguem algum protocolo de segurança”. Aqui temos o quantificador universal Todos e, dentro da propriedade, o quantificador existencial algum.

Ao negar, aplicamos as regras dos quantificadores: negar \( \forall \) vira \( \exists \) e negar \( \exists \) vira \( \forall \) com negação interna. Em forma simbólica:
\( \neg(\forall x\, \exists p\, S(x,p)) \equiv \exists x\, \neg(\exists p\, S(x,p)) \equiv \exists x\, \forall p\, \neg S(x,p) \).

Traduzindo para linguagem natural, a negação é: Existe, pelo menos, um agente de saúde que não segue nenhum protocolo de segurança. Essa é a alternativa correta.