(∃x)maisIdade(x) → (∀y)maisJovem(y) → maisEstudioso(x,y))) C...
Próximas questões
Com base no mesmo assunto
Ano: 2024
Banca:
CESPE / CEBRASPE
Órgão:
TST
Prova:
CESPE / CEBRASPE - 2024 - TST - Técnico Judiciário - Área: Apoio Especializado - Especialidade: Programação |
Q2362077
Raciocínio Lógico
(∃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.
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.