To tie it back to subsets/supersets: an argument is valid if the set of all universes where its premises are true is a subset of the set of all universes where its conclusion is true. So the premises' truth is sufficient for the conclusion's truth, and the conclusion's truth is necessary for the premises' truth.