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.
\exists x \neg P(x)

Passo 1

O enunciado define a proposição P(x)\colon x passa mais do que cinco horas em aula todos os dias”,
em que o domínio de x são todos os estudantes.
Precisamos traduzir a fórmula
\exists x\,\neg P(x)
para o português.

Passo 2

A parte interna \neg P(x) diz que “ x não passa mais do que cinco horas em aula todos os dias”, ou seja, que x passa no máximo cinco horas em aula por dia. O quantificador \exists x indica “existe pelo menos um estudante x” com essa propriedade.

Resposta

Existe pelo menos um estudante que não passa mais de cinco horas em aula todos os dias.

Exercícios de Livros Relacionados