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.
Jerry não tem uma conexão de Internet.

Passo 1

O enunciado pede para traduzir a proposição “Jerry não tem uma conexão de Internet” usando quantificadores, onde o predicado I(x) significa “ x tem uma conexão de Internet” e o domínio são todos os estudantes da sala.

Passo 2

Introduzimos um símbolo de constante, digamos j, para representar o aluno Jerry. Assim, expressar que Jerry não tem conexão é afirmar que I(j) é falso.

Passo 3

Para usar um quantificador de forma explícita sobre toda a turma, podemos escrever que para todo estudante x, se x for Jerry então ele não tem Internet. Isso fica:
\forall x\;(x = j \;\to\; \neg I(x)).

Resposta

\forall x\;(x = j \;\to\; \neg I(x)).

Exercícios de Livros Relacionados