Considere
, que significa que o estudante
está inscrito na aula
, em que o domínio para
são todos os estudantes de sua escola e o domínio para
, todas as aulas dadas na escola. Expresse cada uma das proposições abaixo em uma sentença em português.
Passo 1
O enunciado nos dá o predicado
, que significa “o estudante
está inscrito na aula
”, com
variando sobre todos os estudantes e
sobre todas as aulas. A fórmula a traduzir é
Passo 2
Vamos decompor a fórmula em partes:
-
: “existe um estudante e existe um estudante …” -
: “…tal que para toda aula …” -
: “ e são estudantes distintos” -
: “se está inscrito em então também está inscrito em ”
Passo 3
Agrupando tudo, obtemos em português uma única frase que reflete a ordem dos quantificadores e as condições conjuntas:
“Existe um estudante e um estudante
, com
, tais que para toda aula
, se
está inscrito em
então
está inscrito em
.”
“Existe um estudante
Resposta
“Existe um estudante
e um estudante
, com
, tais que para toda aula
, se
está inscrito em
então
está inscrito em
.”