Considere verdadeiras as seguintes proposições: \(\bullet\) Nenhum professor é mentiroso. \(\bullet\) Alguns advogados são mentirosos. Pode-se corretamente concluir que:

Gabarito

D

Comentário do professor

Nenhum professor é mentiroso significa que o conjunto dos professores não contém nenhum mentiroso. Alguns advogados são mentirosos afirma a existência de pelo menos um indivíduo que é advogado e mentiroso.

Formalizando: \( \forall x (Professor(x)\rightarrow \neg Mentiroso(x)) \) e \( \exists x (Advogado(x)\land Mentiroso(x)) \).

Tome o indivíduo garantido pelo existencial: ele é advogado e mentiroso. Pela condição universal, nenhum mentiroso pode ser professor, logo esse indivíduo não é professor.

Portanto, alguns advogados não são professores, pois existe pelo menos um advogado que, por ser mentiroso, não pertence ao conjunto dos professores.