Disjunctive elimination rule and its application in MTL