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.
Alguém de sua sala tem conexão de Internet, mas não conversou com ninguém mais de sua sala pela Internet.
Alguém de sua sala tem conexão de Internet, mas não conversou com ninguém mais de sua sala pela Internet.
Passo 1
O enunciado pede: “Alguém da sala tem conexão de Internet, mas não conversou com ninguém mais da sala pela Internet.” Aqui usamos a proposição
para “
tem conexão de Internet” e
para “
e
conversaram pela Internet”. Para “alguém” usamos
e para “não conversou com ninguém mais” expressamos que, para todo outro
, não ocorre
.
Passo 2
Montamos a fórmula quantificada dizendo que existe um estudante
que tem Internet e que, para qualquer outro estudante
diferente de
, não ocorreram conversas entre
e
. Assim: