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 “o estudante
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
para o português.
Passo 2
O predicado
é a negação de
. Como
diz “
passa mais do que cinco horas em aula todos os dias”, então
Passo 3
O quantificador universal
aplicado a
significa que para todo estudante
vale
. Em outras palavras, nenhum estudante satisfaz a condição
.
Resposta
Nenhum estudante passa mais de cinco horas em aula todos os dias.