Questões de Raciocínio Lógico · Cebraspe

Raciocínio LógicoFórmulas da lógica de predicadosCebraspe 2023

TJ ES

Questão de Raciocínio Lógico

Acerca de noções de lógica, julgue os itens a seguir. 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”.

Sua resposta

Mais questões de Fórmulas da lógica de predicados

Ver as 49 questões de Fórmulas da lógica de predicados

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.