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 proposição
como “o estudante
tem frequentado as aulas do curso
”. O domínio de
são os estudantes da sala e o domínio de
são todos os cursos de ciência da computação da escola. Queremos traduzir a fórmula
para o português.
Passo 2
O quantificador
significa “existe pelo menos um estudante
” ou “há um estudante na sala tal que…”.
Passo 3
O quantificador
significa “para todo curso
” ou “em todos os cursos de ciência da computação”.
Passo 4
Agora, combinamos as duas partes para formar uma única frase: começamos afirmando que existe um estudante e adicionamos a condição de que esse estudante frequenta as aulas de todos os cursos.
Resposta
Existe pelo menos um estudante na sala que tem frequentado as aulas de todos os cursos de ciência da computação da escola.