Admita como verdadeira a seguinte informação: Todos os convidados para a minha festa de aniversário gostam de vinho. Portanto, também é sempre verdade que:

Gabarito

D

Comentário do professor

Todos os convidados para a minha festa de aniversário gostam de vinho.

Seja C o conjunto dos convidados e W o conjunto das pessoas que gostam de vinho. A afirmação dada é \(C \subseteq W\).

Isso equivale à proposição universal: para todo indivíduo \(x\), se \(x\) foi convidado então \(x\) gosta de vinho (se \(x\in C\) então \(x\in W\)).

Aplicando a contrapositiva, obtemos: se alguém não gosta de vinho (\(x\notin W\)) então essa pessoa não foi convidada (\(x\notin C\)). Em linguagem de conjuntos, \(C\subseteq W\) implica \(W^{c}\subseteq C^{c}\).

Portanto, é verdadeiro que todo aquele que não gosta de vinho não foi convidado para a festa.