Considere
que significa que o estudante
visitou o site da Web
, em que o domínio para
são todos os
estudantes de sua escola e o domínio para
, todos os sites da Web. Expresse cada uma das proposições abaixo em uma sentença em português.
David Belcher
David Belcher,
estudantes de sua escola e o domínio para
Passo 1
O enunciado define o predicado
como “o estudante
visitou o site da Web
”. A fórmula é
e pede para transformá-la em uma frase em português.
Passo 2
O quantificador
diz “existe um estudante
” e a condição
acrescenta “que não é o David Belcher”.
Passo 3
O trecho
significa “para todo site
, se David Belcher visitou
então
também visitou
”.
Passo 4
Juntando tudo: “existe um estudante diferente de David Belcher que, sempre que David Belcher visita um site, ele também o visita”.
Resposta
Existe pelo menos um estudante, distinto de David Belcher, que visitou todos os sites que David Belcher visitou.