  Tarski’s proposal consists in making tighter the requirement expressed by condition (F), so as to incorporate the idea that a logically correct argument cannot be reinterpreted in such a way that the premises become true and the conclusion false; in other words, the idea that a sentence X is a logical consequence of a set of sentences K when every interpretation on which all the sentences of K are true is an interpretation on which X is true (or, to use a common terminology, when every interpretation preserves the truth of the premises in the conclusion). 