Considere
como a proposição "
tem uma conexão de Internet" e
como a proposição "
e
conversaram pela Internet", em que o domínio para as variáveis
e
são todos os estudantes de sua sala. Use quantificadores para expressar cada uma das proposições abaixo.
Alguém de sua sala não tem uma conexão de Internet.
Alguém de sua sala não tem uma conexão de Internet.
Passo 1
O enunciado define o domínio como todos os estudantes da sala e o predicado
significa “
tem conexão de Internet”. Queremos traduzir “Alguém de sua sala não tem uma conexão de Internet” usando quantificadores.
Passo 2
Para dizer que existe pelo menos um estudante que não tem conexão, usamos o quantificador existencial e a negação do predicado. Assim, a tradução é: