[obm-l] raciocínio lógico

[Faelccmm@xxxxxxx]

Olá pessoal,

Considere as seguintes sentenças:

1. Nenhum estudante é preguiçoso
2. Rodrigo é metaleiro.
3. Todos os metaleiros são preguiçosos 

Supondo que as três sentenças são verdadeiras, verifique qual das sentenças a seguir é certamente verdadeira:

a) Todos os preguiçosos são metaleiros 
b) Algum estudante é metaleiro 
c) Alguns metaleiros são estudantes
d) Rodrigo é estudante

resposta: "d"

Obs: Eu acredito que o gabarito esteja errado, pois seja M contido em P e E disjunto de P não há como quaisquer das alternativas serem verdadeiras. E a alternativa "d" por dois motivos: o diagrama de Venn-Euler e a afirmação 2 do enunciado. Observando que esta é uma questão de um livro que muitos aqui têm.