Questão
ID 196395Disciplina: Raciocínio Lógico
Assuntos: Linguagem da Lógica Proposicional, Proposições Particulares Afirmativas
Ano: 2024 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Tribunal Superior do Trabalho
(∃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.