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.