The relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence.