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.
Carol Sitea,
Passo 1
O enunciado define o predicado
como “o estudante
está inscrito na aula
”. A fórmula que queremos traduzir é
Passo 2
A lógica
afirma que “existe pelo menos uma aula
tal que Carol Sitea está inscrita nessa aula”.
Resposta
Existe alguma aula em que Carol Sitea está inscrita.