An argument that is not valid is said to be invalid.
By the definition of logical consequence, if there exists an interpretation such that:
Hence, in order to show a conclusion does not follow from a set of premises, we must find an interpretation that makes all of the premises true, but under which the conclusion is false.