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.
estudantes de sua escola e o domínio para
Passo 1
O enunciado define o predicado
que significa “o estudante
visitou o site da Web
”. A fórmula a traduzir é
Passo 2
Interpretamos cada parte:
– indica “existem dois estudantes
e
”.
– garante que esses dois estudantes são distintos.
– significa “para todo site
, o estudante
visitou
se e somente se o estudante
também visitou
”.
–
–
–
Resposta
Existem dois estudantes distintos tais que, para todo site da Web, um deles visitou esse site se e somente se o outro também o visitou.