Dada a afirmação: “Todos os professores da escola utilizam computador e internet em sala de aula.” A negação lógica CORRETA dessa afirmação é:

Gabarito

Certo

Comentário do professor

Começamos pelo quantificador: a palavra “Todos” indica um quantificador universal. A negação de um enunciado com quantificador universal transforma-o em um quantificador existencial: passa a ser “Existe pelo menos um... que não”.

O enunciado afirma que, para cada professor, vale a conjunção “utiliza computador e internet”. Essa conjunção é do tipo \(A\land B\). A negação de uma conjunção obedece à lei de De Morgan: \(\neg(A\land B)\equiv \neg A\lor \neg B\).

Aplicando tudo: \(\forall x\,(A(x)\land B(x))\) nega-se para \(\exists x\,\neg(A(x)\land B(x))\), que é equivalente a \(\exists x\,(\neg A(x)\lor \neg B(x))\).

Em palavras: Existe, pelo menos, um professor que não utiliza computador ou não utiliza internet em sala de aula. Essa é a forma correta da negação.