Considere
, que significa que o estudante
está inscrito na aula
, em que o domínio para
são todos os estudantes de sua escola e o domínio para
, todas as aulas dadas na escola. Expresse cada uma das proposições abaixo em uma sentença em português.
, Math 695)
Passo 1
O enunciado define o predicado
como “o estudante
está inscrito na aula
”. O domínio de
são todos os estudantes e o domínio de
são todas as aulas da escola. A proposição a traduzir é
Passo 2
O quantificador
significa “existe pelo menos um estudante
” ou “há algum estudante”.
Passo 3
O predicado
diz “
está inscrito na aula Math 695”.
Resposta
Existe pelo menos um estudante que está inscrito na aula Math 695.