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 P(x)

Passo 1

O enunciado define P(x) como a proposição “ x passa mais do que cinco horas em aula todos os dias”, com domínio de todos os estudantes, e pede para traduzir a fórmula \exists x P(x). O conteúdo é quantificadores lógicos, mais especificamente o quantificador existencial.

Passo 2

O símbolo \exists x significa “existe” ou “há pelo menos um”. Portanto,
\exists x\,P(x)
lê-se: “Existe pelo menos um estudante x tal que x passa mais de cinco horas em aula todos os dias.”

Resposta

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

Exercícios de Livros Relacionados