Considere a sentença: "Todo tecnólogo em TI conhece segurança de redes e alguns desses tecnólogos são especialistas em criptografia". A negação lógica dessa afirmação é:

Gabarito

D

Comentário do professor

"Todo tecnólogo em TI conhece segurança de redes e alguns desses tecnólogos são especialistas em criptografia."

Trata-se de uma conjunção de duas afirmações. Para negar uma conjunção, negamos cada parte e trocamos o conectivo por ou.

A primeira parte usa o quantificador universal "Todo". Sua negação é um quantificador existencial negativo: "Existe pelo menos um tecnólogo que não conhece segurança de redes". Em símbolos: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\).

A segunda parte usa o quantificador existencial "Alguns". Sua negação é o universal negativo "Nenhum tecnólogo em TI é especialista em criptografia": \( \neg(\exists x\,Q(x)) \equiv \forall x\,\neg Q(x)\).

Portanto, a negação da sentença original é: Existe pelo menos um tecnólogo que não conhece segurança de redes, ou nenhum tecnólogo em TI é especialista em criptografia.