Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
(∃x)maisIdade(x) → (∀y)maisJovem(y) → maisEstudioso(x,y))) Considerando que maisIdade(x...
1
Q3136035
Teclas de Atalhos
Compartilhar
(∃x)maisIdade(x) → (∀y)maisJovem(y) → maisEstudioso(x,y)))
Considerando que maisIdade(x) indica que x é uma pessoa de mais idade na faculdade, que maisJovem(x) indica que x é uma pessoa mais jovem na faculdade e que maisEstudioso(x,y) indica que x é mais estudioso que y, assinale a opção que traduz corretamente a notação lógica da sentença precedente.
A
Algumas pessoas de mais idade na faculdade são mais estudiosas que alguns dos mais jovens de lá.
B
Todas as pessoas de mais idade na faculdade são mais estudiosas que alguns dos mais jovens de lá.
C
Não existe nenhuma pessoa de mais idade na faculdade que seja mais estudiosa que todos os mais jovens de lá.
D
Algumas pessoas de mais idade na faculdade são mais estudiosas que todos os mais jovens de lá.
E
Todas as pessoas de mais idade na faculdade são mais estudiosas que todos os mais jovens de lá.