Algum X é Y. Todo X é Z. Logo,...

Questão de Raciocínio Lógico da banca FCC aplicada no concurso TRF 1a (2006). Confira a resolução completa abaixo:

Q253840•
Raciocínio Lógico•
Lógica de primeira ordem•
FCC•
TRF 1a•
Técnico Judiciário Área Administrativa

Algum X é Y. Todo X é Z. Logo,

Todo PLATZ que não é PLUTZ é também PLETZ. Alguns PLATZ que são PLETZ também são PLITZ. A partir dessas afirmações, pode-se concluir que

alguns PLITZ são PLETZ e PLATZ.

existe PLATZ que não é PLUTZ nem é PLETZ

não existe PLUTZ que é apenas PLUTZ.

todo PLITZ é PLETZ.

existe PLITZ que é apenas PLITZ.

Todos os macerontes são torminodoros. Alguns macerontes são momorrengos.

Logo,

todos os momorrengos são torminodoros.

alguns torminodoros são momorrengos.

todos os torminodoros são macerontes.

alguns momorrengos são pássaros.

todos os momorrengos são macerontes.

Se "Alguns poetas são nefelibatas" e "Todos os nefelibatas são melancólicos", então, necessariamente:

Todo melancólico é nefelibata.

Todo nefelibata é poeta.

Algum poeta é melancólico.

Nenhum melancólico é poeta.

Nenhum poeta não é melancólico.

Notificações

Nada por aqui