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.
Há pelo menos dois estudantes em sua sala que não conversam com a mesma pessoa pela Internet.
Há pelo menos dois estudantes em sua sala que não conversam com a mesma pessoa pela Internet.
Passo 1
O enunciado pede para traduzir para lógica de predicados a afirmação “Há pelo menos dois estudantes em sua sala que não conversam com a mesma pessoa pela Internet”. Usamos
para “
e
conversaram pela Internet” e o domínio de
são todos os estudantes da sala.
Passo 2
“Há pelo menos dois estudantes” significa que existem
e
distintos. Em lógica isso vira
Passo 3
“Não conversam com a mesma pessoa” quer dizer que não existe nenhum estudante
tal que simultaneamente
e
sejam verdadeiras. Em símbolos:
Passo 4
Juntando as duas partes, obtemos a fórmula final: