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.
Há um estudante em sua sala que conversa com todos da sala pela Internet.

Passo 1

O enunciado pede para traduzir para lógica de predicados a frase “Há um estudante em sua sala que conversa com todos da sala pela Internet”. Aqui usamos os predicados \,I(x) : “ x tem conexão de Internet” \,C(x,y) : “ x e y conversaram pela Internet”
e o domínio de x e y é o conjunto de todos os estudantes da sala.

Passo 2

A frase diz que existe um estudante x tal que, para todo estudante y, x e y conversaram pela Internet. Em notação com quantificadores, isso é:
\exists x\,\forall y\,C(x,y).

Resposta

\exists x\,\forall y\,C(x,y)

Exercícios de Livros Relacionados