Considere P(x, y) como a proposição "o estudante x tem freqüentado as aulas y ", em que o domínio para x são os estudantes de sua sala e y, todos os cursos de ciência da computação em sua escola. Expresse cada uma das quantificações abaixo em português.
\exists x \exists y P(x, y)

Passo 1

O enunciado define a proposição P(x,y) como “o estudante x tem frequentado as aulas y”, onde o domínio de x são os estudantes da sua sala e o domínio de y são todos os cursos de Ciência da Computação da sua escola. Queremos traduzir para o português a fórmula
\exists x\,\exists y\,P(x,y).

Passo 2

A fórmula \exists x\,\exists y\,P(x,y) afirma que “existe ao menos um estudante x da sala e existe ao menos um curso y de Ciência da Computação na escola tais que x tem frequentado as aulas y”.

Resposta

Existe algum estudante da sala e existe algum curso de Ciência da Computação na escola tais que esse estudante frequenta as aulas desse curso.

Exercícios de Livros Relacionados