Questão em destaque · Q3136035

(∃ 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 ) indi

CESPE CEBRASPE · TST · 2024 · Técnico - Área Programação

Resolva a questão abaixo e continue estudando com o banco de questões.

P3136035

ID: 3136035

Raciocínio LógicoAssunto: Estruturas Lógicas - (Lógica de Primeira Ordem)

Banca: CESPE CEBRASPE

Ano: 2024

Nível: Superior

(∃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.