Use quantificadores e predicados com mais de uma variável para expressar as proposições abaixo.
Todo estudante desta sala conversou pela Internet com pelo menos outro estudante, em pelo menos um grupo de bate-papo.
Todo estudante desta sala conversou pela Internet com pelo menos outro estudante, em pelo menos um grupo de bate-papo.
Passo 1
O enunciado pede para traduzir para a lógica de predicados a proposição “Todo estudante desta sala conversou pela Internet com pelo menos outro estudante, em pelo menos um grupo de bate-papo”. O conteúdo é lógica de predicados de primeira ordem com mais de uma variável e quantificadores.
Passo 2
Vamos introduzir os seguintes predicados e domínios:
– : “
é estudante desta sala”.
– : “
é um grupo de bate-papo”.
– : “
conversou pela Internet com
no grupo
”.
–
–
–
As variáveis
e
variam sobre pessoas, e
varia sobre grupos de bate-papo.
Passo 3
Para cada estudante
é preciso garantir que exista outro estudante
(com
) e ao menos um grupo
em que
tenha conversado com
. Em símbolos, isso fica: