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.
Jerry não tem uma conexão de Internet.
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
significa “
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
, para representar o aluno Jerry. Assim, expressar que Jerry não tem conexão é afirmar que
é falso.
Passo 3
Para usar um quantificador de forma explícita sobre toda a turma, podemos escrever que para todo estudante
, se
for Jerry então ele não tem Internet. Isso fica: