Considere a seguinte premissa: Todos os assistentes legislativos são pessoas seguras. A negação lógica dessa premissa está indicada na seguinte alternativa:

Gabarito

A

Comentário do professor

"Todos os assistentes legislativos são pessoas seguras" é uma sentença universal afirmativa, que pode ser formalizada como \( \forall x\,(A(x)\rightarrow S(x))\).

Para obter a negação de uma universal afirmativa, substitui-se o quantificador universal pelo quantificador existencial e nega-se a propriedade afirmada. Em símbolos: \( \neg\forall x\,(A(x)\rightarrow S(x)) \equiv \exists x\,(A(x)\land \neg S(x))\).

Essa fórmula se lê: "Existe algum assistente legislativo que não é uma pessoa segura". Basta um único contrexemplo para tornar a afirmação universal falsa, por isso a forma existencial é a negação correta.