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.
\forall y \exists x P(x, y)

Passo 1

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

Passo 2

O quantificador \forall y quer dizer “para todo curso y”, e em seguida \exists x quer dizer “existe algum estudante x” tal que P(x,y) seja verdadeiro, isto é, “o estudante x tem frequentado o curso y”.

Resposta

Para cada curso de Ciência da Computação oferecido na escola, existe pelo menos um estudante da sua sala que o tem frequentado.

Exercícios de Livros Relacionados