Questão em destaque · Q2777285

A sentença “Há pelo menos um desembargador que é mais velho que todos os juízes” pode ser escrita na forma simbólica como ∀ x ∃ y (D( x ) ˄ J( y ) → V( x , y )), em que D( x ) repr

CESPE CEBRASPE · TJ ES · 2023 · Analista Judiciário - Área: Administrativa

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

P2777285

ID: 2777285

Raciocínio LógicoAssunto: Proposições

Banca: CESPE CEBRASPE

Ano: 2023

Nível: Superior

A sentença “Há pelo menos um desembargador que é mais velho que todos os juízes” pode ser escrita na forma simbólica como ∀x ∃y (D(x) ˄ J(y) → V(x,y)), em que D(x) representa a proposição “x é desembargador”; J(y) representa a proposição “y é juiz”; e V(x,y) representa a proposição “x é mais velho que y”.