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.
(
, www.imdb.org)
estudantes de sua escola e o domínio para
Passo 1
O predicado
significa “o estudante
visitou o site da Web
”. O domínio de
é todo o conjunto de estudantes da escola e o domínio de
é todo o conjunto de sites da Web. A fórmula a traduzir é
Passo 2
O quantificador
indica que “existe pelo menos um estudante” no domínio tal que a propriedade
é verdadeira, ou seja, esse estudante fez uma visita ao site dado.
Resposta
Existe pelo menos um estudante da escola que visitou o site www.imdb.org.