Considere P(x) como a proposição " x passa mais do que cinco horas em aula todos os dias", em que o domínio de x são todos os estudantes. Expresse cada uma dessas quantificações em português.
\forall x \neg P(x)

Passo 1

O enunciado define P(x) como “o estudante x passa mais do que cinco horas em aula todos os dias” e o domínio é o conjunto de todos os estudantes. Queremos traduzir a expressão lógica
\forall x \neg P(x)
para o português.

Passo 2

O predicado \neg P(x) é a negação de P(x). Como P(x) diz “ x passa mais do que cinco horas em aula todos os dias”, então
\neg P(x):\quad x\text{ não passa mais do que cinco horas em aula todos os dias}.ã

Passo 3

O quantificador universal \forall x aplicado a \neg P(x) significa que para todo estudante x vale \neg P(x). Em outras palavras, nenhum estudante satisfaz a condição P(x).

Resposta

Nenhum estudante passa mais de cinco horas em aula todos os dias.

Exercícios de Livros Relacionados