Se A ⊆ B, qual implicação lógica envolvendo negações é válida?

\(\neg B \Rightarrow \neg A\)

A relação A ⊆ B indica que todo elemento de A está em B, portanto se algo não pertence a B, não pode pertencer a A, isso é a contrapositiva da implicação.

exemplo: Seja F = conjunto dos felinos e M = conjunto dos mamíferos. Como \(F \subseteq M\), se um animal não é mamífero, então não é felino, formalmente \( \neg M \Rightarrow \neg F\).