Considere
como a proposição "o estudante
tem freqüentado as aulas
", em que o domínio para
são os estudantes de sua sala e
, todos os cursos de ciência da computação em sua escola. Expresse cada uma das quantificações abaixo em português.
Passo 1
O enunciado define a fórmula
onde
significa “o estudante
tem frequentado as aulas
”. O domínio de
são todos os cursos de Ciência da Computação da escola, e o domínio de
são os estudantes da sua sala. Vamos traduzir passo a passo os quantificadores para o português.
Passo 2
O quantificador
quer dizer “para todo curso
”, e em seguida
quer dizer “existe algum estudante
” tal que
seja verdadeiro, isto é, “o estudante
tem frequentado o curso
”.
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.