Considere
como a proposição "
passa mais do que cinco horas em aula todos os dias", em que o domínio de
são todos os estudantes. Expresse cada uma dessas quantificações em português.
Passo 1
O enunciado define
como a proposição “
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
. O conteúdo é quantificadores lógicos, mais especificamente o quantificador existencial.
Passo 2
O símbolo
significa “existe” ou “há pelo menos um”. Portanto,
lê-se: “Existe pelo menos um estudante
tal que
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.