Considere C(x, y), que significa que o estudante x está inscrito na aula y, em que o domínio para x são todos os estudantes de sua escola e o domínio para y, todas as aulas dadas na escola. Expresse cada uma das proposições abaixo em uma sentença em português.
\exists y C( Carol Sitea, y)

Passo 1

O enunciado define o predicado C(x,y) como “o estudante x está inscrito na aula y”. A fórmula que queremos traduzir é
\exists y\,C(\text{Carol Sitea},y).

Passo 2

A lógica \exists y\,C(\text{Carol Sitea},y) afirma que “existe pelo menos uma aula y tal que Carol Sitea está inscrita nessa aula”.

Resposta

Existe alguma aula em que Carol Sitea está inscrita.

Exercícios de Livros Relacionados