Uma sentença, também denominada "proposição", é uma frase decl...

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".