Considere I(x) como a proposição " x tem uma conexão de Internet" e C(x, y) como a proposição " x e y conversaram pela Internet", em que o domínio para as variáveis x e y 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.

Passo 1

O enunciado define o domínio como todos os estudantes da sala e o predicado I(x) significa “ x 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 é:
\exists x\,\lnot I(x).

Resposta

\exists x\,\lnot I(x)

Exercícios de Livros Relacionados