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 x C(x, Math 695)

Passo 1

O enunciado define o predicado C(x,y) como “o estudante x está inscrito na aula y”. O domínio de x são todos os estudantes e o domínio de y são todas as aulas da escola. A proposição a traduzir é
\exists x\,C\bigl(x,\text{Math }695\bigr).

Passo 2

O quantificador \exists x significa “existe pelo menos um estudante x” ou “há algum estudante”.

Passo 3

O predicado C\bigl(x,\text{Math }695\bigr) diz “ x está inscrito na aula Math 695”.

Resposta

Existe pelo menos um estudante que está inscrito na aula Math 695.

Exercícios de Livros Relacionados