The argument with premises K and conclusion X is logically correct according to Tarski's condition (...