Abstract
One of the essential formulas of the classical mathematical logic is (A → B) → ((¬A → B) → B). In the present paper, its intuitionistic fuzzy interpretation is introduced, and lists of all defined intuitionistic fuzzy implications that satisfy it as a tautology and an intuitionistic fuzzy tautology are given.