 Indeed, Tarski took the biconditional here to be the material biconditional of classical logic. This is usually called the T-schema. For more on the T-schema, and Tarski’s views of truth, see the entries on  Alfred Tarski  and  Tarski’s truth definitions.