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
”, onde o domínio de
são os estudantes da sua sala e o domínio de
são todos os cursos de Ciência da Computação da sua escola. Queremos traduzir para o português a fórmula
Passo 2
A fórmula
afirma que “existe ao menos um estudante
da sala e existe ao menos um curso
de Ciência da Computação na escola tais que
tem frequentado as aulas
”.
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.