In the case of A and B being things like a “democratic system of governance” I think we’re more likely to be talking about set membership: “x∉A ⇒ x∉B” does not imply “x∈A ⇒ x∈B” (though it implies “x∈B ⇒ x∈A”)
In the case of A and B being things like a “democratic system of governance” I think we’re more likely to be talking about set membership: “x∉A ⇒ x∉B” does not imply “x∈A ⇒ x∈B” (though it implies “x∈B ⇒ x∈A”)