Uma sentença, também denominada "proposição", é uma frase declarativa que pode ser verdadeira ou falsa, mas nunca as duas ao mesmo tempo (HUNTER, 2...

Uma sentença, também denominada "proposição", é uma frase declarativa que pode ser verdadeira ou falsa, mas nunca as duas ao mesmo tempo (HUNTER, 2011). Negar uma proposição lógica significa mudar o seu valor lógico. Em outras palavras, a negação de uma proposição verdadeira é uma proposição falsa, e a negação de uma proposição falsa é uma proposição verdadeira. No entanto, cabe destacar que a lógica utiliza quantificadores que expressam quantidade e que são classificados de duas maneiras distintas, sendo que a negação de proposições que contêm quantificadores precisa seguir algumas regras. Imagine que você seja professor de matemática e que dará uma aula sobre lógica proposicional. Para tanto, você criou dois problemas envolvendo quantificadores e precisa apresentá-los aos alunos na aula seguinte. Assim, você precisa: a) Explicar o que são os quantificadores e como proceder quando há interesse em negar proposições quantificadas. b) Mostrar como deve ser a negação das seguintes proposições: "Toda massagem é relaxante" e "Algum estudante não é estudioso".