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 222) \wedge C(x, \operatorname{CS} 252))

Passo 1

O enunciado define que C(x,y) significa “o estudante x está inscrito na aula y”, onde o domínio de x são todos os estudantes e o domínio de y são todas as aulas. A proposição a ser traduzida é
\exists x\bigl(C(x,\text{Math }222)\wedge C(x,\text{CS }252)\bigr).

Passo 2

Para ler essa fórmula em português, observe que o quantificador \exists x indica “existe pelo menos um estudante x” e o conectivo “ \wedge” indica “e”. Logo, a frase completa é:
Existe pelo menos um estudante que está inscrito na aula Math 222 e na aula CS 252.

Resposta

Existe pelo menos um estudante que está inscrito na aula Math 222 e na aula CS 252.

Exercícios de Livros Relacionados