Acerca de noções de lógica, julgue o item 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”.
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?