Considere verdadeiras as seguintes proposições: Todo amigo de Marta é sambista. Todo amigo de Pedro não é sambista. Logo, também é verdade que:

Gabarito

B

Comentário do professor

Das premissas temos: todo amigo de Marta é sambista e todo amigo de Pedro não é sambista. Representando conjuntos, seja \(M\) o conjunto dos amigos de Marta, \(P\) o dos amigos de Pedro e \(S\) o dos sambistas.

Então \(M \subseteq S\) e \(P \subseteq S^c\), onde \(S^c\) é o complemento de \(S\).

Como \(S\) e \(S^c\) são disjuntos, \(S \cap S^c = \emptyset\).

Da inclusão segue \(M \cap P \subseteq S \cap S^c = \emptyset\). Logo \(M \cap P = \emptyset\).

Portanto, nenhum amigo de Marta é amigo de Pedro, pois ninguém pode ser simultaneamente sambista e não sambista.