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.
Rachel não conversou pela Internet com Chelsea.

Passo 1

O enunciado define os predicados \;I(x): “ x tem conexão de Internet” \;C(x,y): “ x e y conversaram pela Internet”
e pede para expressar em lógica a frase “Rachel não conversou pela Internet com Chelsea”.

Passo 2

Aqui “Rachel” e “Chelsea” são indivíduos fixos do domínio (estudantes). Basta negar o predicado que diz que eles conversaram.

Resposta

\neg C(\text{Rachel},\text{Chelsea})

Exercícios de Livros Relacionados