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.
Rachel não conversou pela Internet com Chelsea.
Rachel não conversou pela Internet com Chelsea.
Passo 1
O enunciado define os predicados
: “
tem conexão de Internet”
: “
e
conversaram pela Internet”
e pede para expressar em lógica a frase “Rachel não conversou pela Internet com Chelsea”.
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.