Julgue o item seguinte, relativo a lógica proposicional e a lógica de primeira ordem. A negação da proposição “Todas as reuniões devem ser gravadas por mídias digitais” é corretame

Gabarito

Errado

Comentário do professor

A afirmação foi julgada ERRADO porque a negação foi formulada incorretamente. A frase original é uma proposição universal afirmativa: seja \(P(x)\) = "x deve ser gravada por mídias digitais", então ela equivale a \( \forall x\,P(x)\).

A negação de \( \forall x\,P(x)\) é \( \exists x\,\neg P(x)\), isto é, uma proposição particular negativa. Em linguagem natural a negação correta é "Alguma reunião não deve ser gravada por mídias digitais."

A alternativa proposta, "Nenhuma reunião deve ser gravada por mídias digitais", corresponde a \( \forall x\,\neg P(x)\), uma universal negativa, que é logicamente diferente e mais forte que a negação; por isso a afirmação está errada.