=> ∀x x∈A -> x∈B. => ∀x ¬ (x∈B) -> ¬ ( x∈A) => ∀x x ∉ B -> x ∉ A
You can ask a new question or answer this question.