Admitindo‑se que as proposições “Algum fantasma é medroso”, “Nenhum zumbi é vegano” e “Todo dragão é poliglota” são verdadeiras, julgue os itens a seguir. Algum medroso é fantasma.

Gabarito

Certo

Comentário do professor

A sentença “Algum fantasma é medroso” é uma proposição particular afirmativa. Em lógica clássica essa forma permite a conversão simples: se existe pelo menos um elemento que é X e Y, então existe esse mesmo elemento visto como Y e X.

Formalizando, seja \(F(x)\) = "x é fantasma" e \(M(x)\) = "x é medroso". Da hipótese \(\exists x\,[F(x)\land M(x)]\) segue imediatamente \(\exists x\,[M(x)\land F(x)]\), que é precisamente “Algum medroso é fantasma”.

Portanto o item foi corretamente julgado CERTO. As outras premissas dadas não interferem nesse raciocínio, pois a conclusão decorre unicamente da existência indicada na primeira proposição.